Annie Foret. On Associative Lambek Calculus Extended with Basic Proper Axioms. 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 172-187, Springer, 2014. [doi]