Repository | Directory | Profile

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