Tag: curry-howard

Found 5 results for 'curry-howard'.

---

1) lo.logic - How do continuations represent negations (under the Curry–Howard correspondence)?
2) lo.logic - Simply typed lambda calculus and higher order logic
3) lo.logic - Languages that lack contraction, weakening or exchange
4) dependent-type - Motivation for Dependent Type
5) lo.logic - What's the logical counterpart to jumps with arguments on CPS terms?

---