Proofs as Efficient Programs
From MaRDI portal
Publication:3654818
DOI10.1007/978-88-470-0784-0_8zbMath1195.03035MaRDI QIDQ3654818
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_8
03B70: Logic in computer science
68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)
03B40: Combinatory logic and lambda calculus
03F20: Complexity of proofs