The Significance of the Curry-Howard Isomorphism

DOI10.1515/9783110657883-018zbMath1465.03058MaRDI QIDQ5115868

Richard Zach

Publication date: 21 August 2020

Published in: Philosophy of Logic and Mathematics (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1880/112761

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

03F05: Cut-elimination and normal-form theorems

03B40: Combinatory logic and lambda calculus