On the Calculus of Syntactic Types

@inproceedings{Lambek1961OnTC,
  title={On the Calculus of Syntactic Types},
  author={J. Lambek},
  year={1961}
}
269 Citations
Continuation semantics for the Lambek-Grishin calculus
The Sequent Calculus of Skew Monoidal Categories
UNDECIDABILITY OF CONSEQUENCE RELATION IN FULL NON-ASSOCIATIVE LAMBEK CALCULUS
Formal Grammar
Interpolation and FEP for logics of residuated algebras
Nonassociative Lambek Calculus with Additives and Context-Free Languages
Relevant and substructural logics
  • Greg Restall
  • Computer Science, Mathematics
  • Logic and the Modalities in the Twentieth Century
  • 2006
Linguistic Applications of First Order Intuitionistic Linear Logic
...
1
2
3
4
5
...