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-52

Subject Categories

Computer Science

DOI

10.3233/FI-2010-262

More information

Created

10/10/2017