La théorie intuitionniste des types : sémantique des preuves et théorie des constructions

DOI10.1017/S0012217300009537MaRDI QIDQ4252873zbMATH OpenFDO

Authors Michel Bourdeau

Publication date 22 June 1999

Published in Dialogue (Search for Journal in Brave)

zbMATH Keywords

constructive type theoryproof objectsproof processes

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Metamathematics of constructive systems (03F50) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55)

Recommendations

• scientific article; zbMATH DE number 4096759
• Treatise on intuitionistic type theory
• scientific article; zbMATH DE number 2077110
• AN INTERPRETATION OF MARTIN‐LÖF'S CONSTRUCTIVE THEORY OF TYPES IN ELEMENTARY TOPOS THEORY
• Constructive theory of sets with types; compatibility with Church's thesis

Cited in

(25)

• scientific article; zbMATH DE number 1420788 (Why is no real title available?)
• scientific article; zbMATH DE number 226803 (Why is no real title available?)
• scientific article; zbMATH DE number 1070622 (Why is no real title available?)
• scientific article; zbMATH DE number 1302060 (Why is no real title available?)
• History and philosophy of constructive type theory
• Foundations of mathematics in polymorphic type theory
• Monotone inductive definitions in a constructive theory of functions and classes
• scientific article; zbMATH DE number 6680163 (Why is no real title available?)
• The constructive reference theory. \(\Sigma\) types and definite descriptions.
• An intensional type theory: Motivation and cut-elimination
• scientific article; zbMATH DE number 1302061 (Why is no real title available?)
• scientific article; zbMATH DE number 2077110 (Why is no real title available?)
• Interpreting descriptions in intensional type theory
• scientific article; zbMATH DE number 1301730 (Why is no real title available?)
• Constructions, proofs and the meaning of logical constants
• Treatise on intuitionistic type theory
• On specifications, subset types and interpretation of proposition in type theory
• Type Theory and the Theory of Meaning
• scientific article; zbMATH DE number 45491 (Why is no real title available?)
• Proof-search in type-theoretic languages: An introduction
• scientific article; zbMATH DE number 4096759 (Why is no real title available?)
• Constructive theory of sets with types; compatibility with Church's thesis
• Constructing possible worlds*
• Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves
• Reflective semantics of constructive type theory

This page was built for publication: La théorie intuitionniste des types : sémantique des preuves et théorie des constructions

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