What Is the Difference Between Proofs and Programs?

DOI10.1007/978-94-007-0080-2_6MaRDI QIDQ5246110zbMATH OpenOpenAlexFDO

Authors John N. Crossley

Publication date 17 April 2015

Published in Proof, Computation and Agency (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-94-007-0080-2_6

zbMATH Keywords

Curry-Howard correspondenceimperative programminglambda calculusstrong normalizationstructured specification logic

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Functional programming and lambda calculus (68N18) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4120164
• scientific article; zbMATH DE number 4006266
• Proofs as programs
• scientific article; zbMATH DE number 432701
• Classical proofs as programs: how, what and why
• Proofs and programs
• What is a logic, and what is a proof?
• scientific article; zbMATH DE number 2196613
• Why proof? What is a proof?
• scientific article; zbMATH DE number 1973215

This page was built for publication: What Is the Difference Between Proofs and Programs?

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