forcing in type theory
Journal article, 2009
Author
Thierry Coquand
University of Gothenburg
Proceeding of CSL 09
2-
Subject Categories
Computer and Information Science