1. Vito Michele Abrusci & Roberto Maieli (2015): Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing. In: Annie Foret, Glyn Morrill, Reinhard Muskens & Rainer Osswald: Preproceedings of the 20th Conference on Formal Grammar. ESSLLI 2015, Barcelona, pp. 39–54.
  2. J. M. Andreoli (1992): Logic programming with focusing in linear logic. Journal of Logic and Computation 2(3), pp. 297–347, doi:10.1093/logcom/2.3.297.
  3. Kaustuv Chaudhuri (2006): The Focused Inverse Method for Linear Logic. Carnegie Mellon University, Pittsburgh, PA, USA. AAI3248489.
  4. Kaustuv Chaudhuri, Dale Miller & Alexis Saurin (2008): Canonical Sequent Proofs via Multi-Focusing. In: Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy, pp. 383–396. Available at
  5. Mario Fadda (2010): Geometry of Grammar: Exercises in Lambek Style. Universitat Politècnica de Catalunya, Barcelona.
  6. H. Hendriks (1993): Studied flexibility. Categories and types in syntax and semantics. Universiteit van Amsterdam, ILLC, Amsterdam.
  7. Dominic J. D. Hughes & Rob J. van Glabbeck (2005): Proof nets for unit-free multiplicative-additive linear logic. ACM Transactions on Computational Logic (TOCL) 6(4), pp. 784–842, doi:10.1145/1094622.1094629.
  8. M. Kanazawa (1992): The \voidb@x Lambek calculus enriched with additional connectives. Journal of Logic, Language and Information 1, pp. 141–171, doi:10.1007/BF00171695.
  9. J. Lambek (1961): On the Calculus of Syntactic Types. In: Roman Jakobson: Structure of Language and its Mathematical Aspects, Proceedings of the Symposia in Applied Mathematics XII. American Mathematical Society, Providence, Rhode Island, pp. 166–178, doi:10.1090/psapm/012/9972.
  10. J. Lambek (1988): Categorial and Categorical Grammars. In: Richard T. Oehrle, Emmon Bach & Deidre Wheeler: Categorial Grammars and Natural Language Structures, Studies in Linguistics and Philosophy 32. D. Reidel, Dordrecht, pp. 297–317, doi:10.1007/978-94-015-6878-4 11.
  11. Joachim Lambek (1958): The mathematics of sentence structure. American Mathematical Monthly 65, pp. 154–170, doi:10.2307/2310058.
  12. Olivier Laurent (2004): A proof of the Focalization property of Linear Logic. Unpublished manuscript, CNRS - Université Paris VII.
  13. Richard Moot (2014): Extended Lambek Calculi and First-Order Linear Logic. In: Michael Moortgat Claudia Casadio, Bob Coeke & Philip Scott: Categories and Types in Logic, Language and Physics: Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday, LNCS, FoLLI Publications in Logic, Language and Information 8222. Springer, Berlin, pp. 297–330. Available at
  14. Richard Moot & Christian Retoré (2012): The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics. Springer, Heidelberg, doi:10.1007/978-3-642-31555-8.
  15. G. Morrill (1990): Grammar and Logical Types. In: Martin Stockhof & Leen Torenvliet: Proceedings of the Seventh Amsterdam Colloquium, pp. 429–450.
  16. Glyn Morrill & Oriol Valentín (2010): Displacement Calculus. Linguistic Analysis 36(1–4), pp. 167–192. Available at Special issue Festschrift for Joachim Lambek.
  17. Glyn Morrill, Oriol Valentín & Mario Fadda (2011): The Displacement Calculus. Journal of Logic, Language and Information 20(1), pp. 1–48, doi:10.1007/s10849-010-9129-2.
  18. Glyn V. Morrill (2011): Categorial Grammar: Logical Syntax, Semantics, and Processing. Oxford University Press, New York and Oxford.
  19. Robert J. Simmons (2012): Substructural Logical Specifications. Carnegie Mellon University, Pittsburgh.

Comments and questions to:
For website issues: