59 citations · 224 across the 22 of their papers we have counts for
1 paper · 2 filters
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…