A computational interpretation of forcing in type theory
Book chapter, 2012
Author
Thierry Coquand
University of Gothenburg
G. Jaber
Ecole des Mines de Nantes
Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of per Martin-Löf
203-213
Subject Categories
Computer and Information Science
DOI
10.1007/978-94-007-4435-6_10