A Generalization of the Curry-Howard Correspondence

Lucius Schoenbaum

We present a variant of the calculus of deductive systems developed in (Lambek 1972, 1974), and give a generalization of the Curry-Howard-Lambek theorem giving an equivalence betwe…