C. Casadio, B. Coecke, M. Moortgat, and P. Scott, Categories and Types in Logic, Language, and Physics: Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday, number 8222 in 'Lecture Notes in Artificial Intelligence, 2014.
DOI : 10.1007/978-3-642-54789-8

R. Moot, Filtering axiom links for proof netsProccedings of Formal Grammar, 2007.

R. Moot, Extended Lambek Calculi and First-Order Linear Logic, pp.297-330, 2014.
DOI : 10.1007/978-3-642-35722-0_23

URL : https://hal.archives-ouvertes.fr/hal-00826416

R. Moot and Q. Puite, Proof nets for the multimodal Lambek calculus, Studia Logica, vol.71, issue.3, pp.415-442, 2002.
DOI : 10.1023/A:1020525032763

G. Morrill, Categorial Grammar: Logical Syntax, Semantics, and Processing, 2011.

G. Morrill and M. Fadda, Proof Nets for Basic Discontinuous Lambek Calculus, Journal of Logic and Computation, vol.18, issue.2, pp.239-256, 2008.
DOI : 10.1093/logcom/exm089

G. Morrill, O. Valentín, and M. Fadda, The Displacement Calculus, Journal of Logic, Language and Information, vol.13, issue.2, pp.1-48, 2011.
DOI : 10.1007/s10849-010-9129-2

M. Pentus, Lambek calculus is NP-complete, Theoretical Computer Science, vol.357, issue.1-3, pp.186-201, 2006.
DOI : 10.1016/j.tcs.2006.03.018

O. Valentín, The Hidden Structural Rules of the Discontinuous Lambek Calculus, pp.402-420, 2014.
DOI : 10.1007/s10849-010-9129-2