123069

References

Anton Setzer

Coalgebras as types determined by their elimination rules

2012

in: Epistemology versus ontology, Dordrecht : Springer

Open Access Link
Proof theory and Martin-Löf type theory

2008

in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer

Open Access Link