Richard Moot. Extended Lambek Calculi and First-Order Linear Logic. In Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott, editors, Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday. Volume 8222 of Lecture Notes in Computer Science, pages 297-330, Springer, 2014. [doi]
Abstract is missing.