A Note on Forcing and Type Theory
Journal article, 2010
Author
Thierry Coquand
University of Gothenburg
Guilhem Jaber
Fundamenta Informaticae
0169-2968 (ISSN)
Vol. 100 1-4 43-52Subject Categories
Computer Science
DOI
10.3233/FI-2010-262