scientific article; zbMATH DE number 1420788

zbMATH Open0943.03047MaRDI QIDQ4944852FDOQ4944852

Authors: Daniel Fridlender 

Publication date: 22 March 2000

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

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)