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, Dordrecht, Springer, pp. 351-369.
(2008)., Proof theory and Martin-Löf type theory, in P. Boldini, M. Bourdeau & G. Heinzmann (eds.), One hundred years of intuitionism (1907–2007), Dordrecht, Springer, pp. 257-279.