
Anton Setzer
(2010-2019)
XCoalgebras as types determined by their elimination rules
2012
in: Epistemology versus ontology, Dordrecht : Springer

(2010-2019)
XCoalgebras as types determined by their elimination rules
2012
in: Epistemology versus ontology, Dordrecht : Springer