https://aclanthology.org/C90-2030/
Normal Form Theorem Proving for the Lambek Calculus - ACL Anthology
Mark Hepple. COLING 1990 Volume 2: Papers presented to the 13th International Conference on Computational Linguistics. 1990.
normal formtheorem provingcalculusaclanthology
https://mathoverflow.net/questions/449140/has-the-lambek-embedding-into-the-category-of-coproduct-preserving-presheave
ct.category theory - Has the "Lambek embedding" into the category of (co)product-preserving...
The Lambek embedding is a particular embedding which is similar to the Yoneda embedding. Suppose we have any category $C$. Recall that a presheaf on $C$ is...
category theory
https://arxiv.org/abs/1009.3238
[1009.3238] Tableaux for the Lambek-Grishin calculus
Abstract page for arXiv paper 1009.3238: Tableaux for the Lambek-Grishin calculus
for thetableauxcalculus