The Complexity of Multiplicative-Additive Lambek Calculus: 25 Years Later.

Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov

Browse the full WoLLIC paper archive.