A Note on Forcing and Type Theory (Q3065010)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Note on Forcing and Type Theory |
scientific article |
Statements
A Note on Forcing and Type Theory (English)
0 references
3 January 2011
0 references
forcing
0 references
Martin-Löf type theory
0 references
intuitionistic type theory, dependent types
0 references
constructive mathematics
0 references
continuity
0 references
