References
Anton Setzer
(2012). Coalgebras as types determined by their elimination rules. In P. Dybjer, S. Lindström, E. Palmgren, & G. Sundholm (Eds.). Epistemology versus ontology (pp. 351-369). Dordrecht: Springer.
(2008). Proof theory and Martin-Löf type theory. In P. Boldini, M. Bourdeau, & G. Heinzmann (Eds.). One hundred years of intuitionism (1907–2007) (pp. 257-279). Dordrecht: Springer.