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