Extended Lambek calculi and first-order linear logic
2013
https://arxiv.org/abs/1305.6238
linear logic
lambek calculus