scientific article; zbMATH DE number 1420788

MaRDI QIDQ4944852zbMATH OpenFDO

Authors Daniel Fridlender

Publication date 22 March 2000

zbMATH Keywords

constructive type theoryfan theoremMartin-Löf's type theoryinductive bar

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1302061
• A type theoretic interpretation of constructive domain theory
• scientific article; zbMATH DE number 1302059
• The Friedman‐Translation for Martin‐Löf's Type Theory
• A Theory of Ambiguous Types and Its Axiomatizations
• Reading between the lines in constructive type theory
• La théorie intuitionniste des types : sémantique des preuves et théorie des constructions
• Type space functors and interpretations in positive logic
• Intersection types from a proof-theoretic perspective
• Domain interpretations of Martin-Löf's partial type theory

Cited in

(1)

• Constructive decision via redundancy-free proof-search

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4944852)