A correspondence between Martin-Löf type theory, the ramified theory of types and pure type systems (Q5939957)
From MaRDI portal
scientific article; zbMATH DE number 1623566
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A correspondence between Martin-Löf type theory, the ramified theory of types and pure type systems |
scientific article; zbMATH DE number 1623566 |
Statements
A correspondence between Martin-Löf type theory, the ramified theory of types and pure type systems (English)
0 references
23 July 2001
0 references
pure type systems
0 references
Russell's Ramified Theory of Types
0 references
proof checker Nuprl
0 references
Martin-Löf's Type Theory
0 references
orders
0 references
