forcing in type theory
Journal article, 2009

Author

Thierry Coquand

University of Gothenburg

Proceeding of CSL 09

2-

Subject Categories

Computer and Information Science

More information

Created

10/10/2017