Roberto Bonato, Christian Retoré. Learning Lambek Grammars from Proof Frames. 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 108-135, Springer, 2014. [doi]
Abstract is missing.