Type theory and proof processing systems

MaRDI QIDQ5438966zbMATH OpenFDO

Authors Gilles Dowek

Publication date 8 February 2008

zbMATH Keywords

computationdeductionfunctionmathematical languageproofproof processing systemset theorytype theory

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited in

(7)

• Proof-search in type-theoretic languages: An introduction
• scientific article; zbMATH DE number 4123726 (Why is no real title available?)
• scientific article; zbMATH DE number 1302060 (Why is no real title available?)
• scientific article; zbMATH DE number 1954188 (Why is no real title available?)
• scientific article; zbMATH DE number 1361532 (Why is no real title available?)
• Automath and Pure Type Systems
• A semantic model of types and machine instructions for proof-carrying code

This page was built for publication: Type theory and proof processing systems

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