Program Testing and the Meaning Explanations of Intuitionistic Type Theory
Book chapter, 2012
Author
Peter Dybjer
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
215-241
978-94-007-4434-9 (ISBN)
Subject Categories
Algebra and Logic
DOI
10.1007/978-94-007-4435-6_11
ISBN
978-94-007-4434-9