The Significance of the Curry-Howard Isomorphism
From MaRDI portal
Publication:5115868
DOI10.1515/9783110657883-018zbMath1465.03058MaRDI QIDQ5115868
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
03A05: Philosophical and critical aspects of logic and foundations
03F05: Cut-elimination and normal-form theorems
03B40: Combinatory logic and lambda calculus