Anton Setzer
Coalgebras as types determined by their elimination rules
2012
in: Epistemology versus ontology, Dordrecht : Springer
Proof theory and Martin-Löf type theory
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
Coalgebras as types determined by their elimination rules
2012
in: Epistemology versus ontology, Dordrecht : Springer
Proof theory and Martin-Löf type theory
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer