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