Anton Setzer
(2000-2009)
XProof theory and Martin-Löf type theory
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
(2000-2009)
XProof theory and Martin-Löf type theory
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer