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