26 citations · 61 across the 14 of their papers we have counts for
1 paper · 1 filter
Silvia Ghilezan, Paaras Padhiar
The simply typed λ-calculus is a model of computation where typed terms correspond to proofs of intuitionistic propositional logic (IPL) via the Curry-Howard correspondence. Justif…