Conference | Speakers | Profile
![123069](/images/creator/_default.jpg)
Anton Setzer
Coalgebras as types determined by their elimination rules
2012
in: Epistemology versus ontology, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)
Proof theory and Martin-Löf type theory
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
![Open Access Link](/images/OAlink.png)