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
Filtering axiom links for proof netsProccedings of Formal Grammar, 2007. ,
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
Proof nets for the multimodal Lambek calculus, Studia Logica, vol.71, issue.3, pp.415-442, 2002. ,
DOI : 10.1023/A:1020525032763
Categorial Grammar: Logical Syntax, Semantics, and Processing, 2011. ,
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
The Displacement Calculus, Journal of Logic, Language and Information, vol.13, issue.2, pp.1-48, 2011. ,
DOI : 10.1007/s10849-010-9129-2
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
The Hidden Structural Rules of the Discontinuous Lambek Calculus, pp.402-420, 2014. ,
DOI : 10.1007/s10849-010-9129-2