Proofs and programs

DOI10.1023/A:1022135614184zbMATH Open1055.03033MaRDI QIDQ1408657FDOQ1408657

Authors: Giuseppe Longo 

Publication date: 25 September 2003

Published in: Synthese (Search for Journal in Brave)

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

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)

Cited In (14)

• Title not available (Why is that?)
• Formal proof of a program: find
• A Logically Saturated Extension of ${{\bar\lambda\mu\tilde{\mu}}}$
• What Is the Difference Between Proofs and Programs?
• Title not available (Why is that?)
• On the expressive power of schemes
• Important Issues in Foundational Formalisms
• Proofs as efficient programs
• Title not available (Why is that?)
• Writing programs that construct proofs
• Title not available (Why is that?)
• Title not available (Why is that?)
• A Nominal Axiomatization of the Lambda Calculus
• Title not available (Why is that?)

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)