The Friedman‐Translation for Martin‐Löf's Type Theory (Q4844507)
From MaRDI portal
scientific article; zbMATH DE number 790837
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Friedman‐Translation for Martin‐Löf's Type Theory |
scientific article; zbMATH DE number 790837 |
Statements
The Friedman‐Translation for Martin‐Löf's Type Theory (English)
0 references
13 December 1995
0 references
Friedman-translation
0 references
proof theory
0 references
intuitionism
0 references
Martin-Löf's type theory
0 references
Markov's rule
0 references
