1 paper · 1 filter
Daniel Murfet, William Troiani
The Curry-Howard correspondence is often described as relating proofs (in intutionistic natural deduction) to programs (terms in simply-typed lambda calculus). However this narrati…