Proofs and programs

DOI10.1023/A:1022135614184MaRDI QIDQ1408657zbMATH OpenFDO

Authors Giuseppe Longo

Publication date 25 September 2003

Published in Synthese (Search for Journal in Brave)

zbMATH Keywords

Curry-Howard correspondencetype theory\(\lambda\)-calculuspolymorphism

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 4006266
• scientific article; zbMATH DE number 4120164
• Proofs as programs
• scientific article; zbMATH DE number 432701
• Proving and programming
• Proofs, programs, processes
• Proofs, programs, processes
• Proof theory and computer programming
• Proofs, Programs and Abstract Complexity

Cited in

(14)

• Formal proof of a program: find
• scientific article; zbMATH DE number 2006628 (Why is no real title available?)
• A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$
• What Is the Difference Between Proofs and Programs?
• scientific article; zbMATH DE number 2000436 (Why is no real title available?)
• On the expressive power of schemes
• Important Issues in Foundational Formalisms
• Proofs as efficient programs
• scientific article; zbMATH DE number 1670575 (Why is no real title available?)
• Writing programs that construct proofs
• scientific article; zbMATH DE number 599579 (Why is no real title available?)
• scientific article; zbMATH DE number 4058907 (Why is no real title available?)
• A Nominal Axiomatization of the Lambda Calculus
• scientific article; zbMATH DE number 3928956 (Why is no real title available?)

This page was built for publication: Proofs and programs

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