About Goodman's Theorem
Journal article, 2013
Forcing and realizability
Formal topology
Goodman's Theorem
Author
Thierry Coquand
University of Gothenburg
Annals of Pure and Applied Logic
0168-0072 (ISSN)
Vol. 164 4 437-442Subject Categories
Computer and Information Science
DOI
10.1016/j.apal.2012.10.007