Proofs Verifying Programs and Programs Producing Proofs: A Conceptual Analysis

DOI10.1007/978-88-470-0784-0_5zbMath1193.03008OpenAlexW63969647MaRDI QIDQ3654815

Dag Prawitz

Publication date: 11 January 2010

Published in: Deduction, Computation, Experiment (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-88-470-0784-0_5

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Specification and verification (program logics, model checking, etc.) (68Q60) Mechanization of proofs and logical operations (03B35) Methodology of mathematics (00A35) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Checking Proofs

This page was built for publication: Proofs Verifying Programs and Programs Producing Proofs: A Conceptual Analysis