Repository | Directory | Profile
Anton Setzer
(2010-2019)
XCoalgebras as types determined by their elimination rules
2012
in: Epistemology versus ontology, Dordrecht : Springer
Central and East European
Society for Phenomenology
Central and East European
Society for Phenomenology
Repository | Directory | Profile
(2010-2019)
XCoalgebras as types determined by their elimination rules
2012
in: Epistemology versus ontology, Dordrecht : Springer