Program testing and the meaning explanations of intuitionistic type theory

2012

Peter Dybjer

in: Epistemology versus ontology, Berlin,