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.
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.
Kaustuv Chaudhuri (2006):
The Focused Inverse Method for Linear Logic.
Carnegie Mellon University,
Pittsburgh, PA, USA.
AAI3248489.
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 http://dx.doi.org/10.1007/978-0-387-09680-3_26.
Mario Fadda (2010):
Geometry of Grammar: Exercises in Lambek Style.
Universitat Politècnica de Catalunya,
Barcelona.
H. Hendriks (1993):
Studied flexibility. Categories and types in syntax and semantics.
Universiteit van Amsterdam,
ILLC, Amsterdam.
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.
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.
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.
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.
Joachim Lambek (1958):
The mathematics of sentence structure.
American Mathematical Monthly 65,
pp. 154–170,
doi:10.2307/2310058.
Olivier Laurent (2004):
A proof of the Focalization property of Linear Logic.
Unpublished manuscript, CNRS - Université Paris VII.
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 http://dx.doi.org/10.1007/978-3-642-54789-8_17.
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.
G. Morrill (1990):
Grammar and Logical Types.
In: Martin Stockhof & Leen Torenvliet: Proceedings of the Seventh Amsterdam Colloquium,
pp. 429–450.
Glyn Morrill & Oriol Valentín (2010):
Displacement Calculus.
Linguistic Analysis 36(1–4),
pp. 167–192.
Available at http://arxiv.org/abs/1004.4181.
Special issue Festschrift for Joachim Lambek.
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.
Glyn V. Morrill (2011):
Categorial Grammar: Logical Syntax, Semantics, and Processing.
Oxford University Press,
New York and Oxford.
Robert J. Simmons (2012):
Substructural Logical Specifications.
Carnegie Mellon University,
Pittsburgh.