Peter Dybjer
(2010-2019)
XProgram testing and the meaning explanations of intuitionistic type theory
2012
in: Epistemology versus ontology, Dordrecht : Springer
(2010-2019)
XProgram testing and the meaning explanations of intuitionistic type theory
2012
in: Epistemology versus ontology, Dordrecht : Springer