Remarks on Martin-Löf's partial type theory
From MaRDI portal
Publication:688734
DOI10.1007/BF01995109zbMath0787.03051MaRDI QIDQ688734
Erik Palmgren, Viggo Stoltenberg-Hansen
Publication date: 28 November 1993
Published in: BIT (Search for Journal in Brave)
domains; category of conditional upper semilattices and parametrizations thereof; fixed point operator; Martin-Löf's partial type theory; type theory with general recursion
03F35: Second- and higher-order arithmetic and fragments
Cites Work
- Domain interpretations of Martin-Löf's partial type theory
- An information system interpretation of Martin-Löf's partial type theory with universes
- The independence of Peano's fourth axiom from Martin-Löf's type theory without universes
- A construction of type: type in Martin-Löf's partial type theory with one universe
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item