1 citations · 2 across the 8 of their papers we have counts for
1 paper · 1 filter
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…