Remarks on Martin-Löf's partial type theory

DOI10.1007/BF01995109zbMath0787.03051MaRDI QIDQ688734

Viggo Stoltenberg-Hansen, Erik Palmgren

Publication date: 28 November 1993

Published in: BIT (Search for Journal in Brave)

zbMATH Keywords

domainscategory of conditional upper semilattices and parametrizations thereoffixed point operatorMartin-Löf's partial type theorytype theory with general recursion

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Related Items

An adequacy theorem for dependent type theory

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