Metodo

International Studies in Phenomenology and Philosophy

Journal | Authors

129107

Peter Dybjer

Bibliography ¹

Program testing and the meaning explanations of intuitionistic type theory

2012

in: Epistemology versus ontology, Dordrecht : Springer

Open Access Link

Order by

Filter

Language

english/english

Period

2010-2019