@inproceedings(abruscimaieli:fg15,
 author       = {Vito Michele Abrusci and Roberto Maieli},
 year         = {2015},
 title        = {{Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing}},
 editor       = {Annie Foret and Glyn Morrill and Reinhard Muskens and Rainer Osswald},
 booktitle    = {Preproceedings of the 20th Conference on Formal Grammar},
 publisher    = {ESSLLI 2015},
 address      = {Barcelona},
 pages        = {39--54},
)
@article(andreoli:92,
 author       = {J. M. Andreoli},
 year         = {1992},
 title        = {Logic programming with focusing in linear logic},
 journal      = {Journal of Logic and Computation},
 volume       = {2},
 number       = {3},
 pages        = {297--347},
 doi          = {10.1093/logcom/2.3.297},
)
@phdthesis(Chaudhuri:2006:FIM:1292706,
 author       = {Kaustuv Chaudhuri},
 year         = {2006},
 title        = {The Focused Inverse Method for Linear Logic},
 school       = {Carnegie Mellon University},
 address      = {Pittsburgh, PA, USA},
 note         = {AAI3248489},
)
@inproceedings(cms:08,
 author       = {Kaustuv Chaudhuri and Dale Miller and Alexis Saurin},
 year         = {2008},
 title        = {{Canonical Sequent Proofs via Multi-Focusing}},
 booktitle    = {{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}},
 pages        = {383--396},
 url          = {http://dx.doi.org/10.1007/978-0-387-09680-3_26},
)
@phdthesis(fadda:phd,
 author       = {Mario Fadda},
 year         = {{2010}},
 title        = {{Geometry of Grammar: Exercises in Lambek Style}},
 school       = {Universitat Polit\`{e}cnica de Catalunya},
 address      = {Barcelona},
)
@phdthesis(hendriksH:phd,
 author       = {H. Hendriks},
 year         = {1993},
 title        = {Studied flexibility. Categories and types in syntax and semantics},
 school       = {Universiteit van Amsterdam},
 address      = {ILLC, Amsterdam},
)
@article(hughesglabbeck:05,
 author       = {Dominic J. D. Hughes and Rob J. van Glabbeck},
 year         = {2005},
 title        = {{Proof nets for unit-free multiplicative-additive linear logic}},
 journal      = {ACM Transactions on Computational Logic (TOCL)},
 volume       = {6},
 number       = {4},
 pages        = {784--842},
 doi          = {10.1145/1094622.1094629},
)
@article(kanazawa:additives,
 author       = {M. Kanazawa},
 year         = {1992},
 title        = {The \unhbox\voidb@x \hbox{Lambek} calculus enriched with additional connectives},
 journal      = {Journal of Logic, Language and Information},
 volume       = {1},
 pages        = {141--171},
 doi          = {10.1007/BF00171695},
)
@incollection(lambek:61,
 author       = {J. Lambek},
 year         = {1961},
 title        = {{On the Calculus of Syntactic Types}},
 editor       = {Roman Jakobson},
 booktitle    = {Structure of Language and its Mathematical Aspects, Proceedings of the Symposia in Applied Mathematics XII},
 publisher    = {American Mathematical Society},
 address      = {Providence, Rhode Island},
 pages        = {166--178},
 doi          = {10.1090/psapm/012/9972},
)
@incollection(lambek:88,
 author       = {J. Lambek},
 year         = {1988},
 title        = {{Categorial and Categorical Grammars}},
 editor       = {Richard T. Oehrle and Emmon Bach and Deidre Wheeler},
 booktitle    = {Categorial Grammars and Natural Language Structures},
 series       = {Studies in Linguistics and Philosophy},
 volume       = {32},
 publisher    = {D.\ Reidel},
 address      = {Dordrecht},
 pages        = {297--317},
 doi          = {10.1007/978-94-015-6878-4 11},
)
@article(lambek:mathematics,
 author       = {Joachim Lambek},
 year         = {1958},
 title        = {{The mathematics of sentence structure}},
 journal      = {{American Mathematical Monthly}},
 volume       = {65},
 pages        = {154--170},
 doi          = {10.2307/2310058},
)
@unpublished(Laurent04bnote,
 author       = {Olivier Laurent},
 year         = {2004},
 title        = {{A proof of the Focalization property of Linear Logic}},
 note         = {Unpublished manuscript, CNRS - Universit\'e Paris VII},
)
@incollection(moot:lamfes,
 author       = {Richard Moot},
 year         = {2014},
 title        = {{Extended Lambek Calculi and First-Order Linear Logic}},
 editor       = {Michael Moortgat Claudia Casadio, Bob Coeke and Philip Scott},
 booktitle    = {Categories and Types in Logic, Language and Physics: Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday},
 series       = {LNCS, FoLLI Publications in Logic, Language and Information},
 volume       = {8222},
 publisher    = {Springer},
 address      = {Berlin},
 pages        = {297--330},
 url          = {http://dx.doi.org/10.1007/978-3-642-54789-8_17},
)
@book(mootret,
 author       = {Richard Moot and Christian Retor\'e},
 year         = {2012},
 title        = {The Logic of Categorial Grammars: A Deductive Account of Natural Language Syntax and Semantics},
 publisher    = {Springer},
 address      = {Heidelberg},
 doi          = {10.1007/978-3-642-31555-8},
)
@inproceedings(morrill:galt90,
 author       = {G. Morrill},
 year         = {1990},
 title        = {{Grammar and Logical Types}},
 editor       = {Martin Stockhof and Leen Torenvliet},
 booktitle    = {Proceedings of the Seventh Amsterdam Colloquium},
 pages        = {429--450},
)
@article(mv:disp,
 author       = {Glyn Morrill and Valent\'{\i}n, Oriol},
 year         = {2010},
 title        = {{Displacement Calculus}},
 journal      = {Linguistic Analysis},
 volume       = {36},
 number       = {1--4},
 pages        = {167--192},
 url          = {http://arxiv.org/abs/1004.4181},
 note         = {Special issue Festschrift for Joachim Lambek},
)
@article(mvf:tdc,
 author       = {Glyn Morrill and Valent\'{\i}n, Oriol and Mario Fadda},
 year         = {2011},
 title        = {{The Displacement Calculus}},
 journal      = {Journal of Logic, Language and Information},
 volume       = {20},
 number       = {1},
 pages        = {1--48},
 doi          = {10.1007/s10849-010-9129-2},
)
@book(morrill:oxford,
 author       = {Glyn V. Morrill},
 year         = {2011},
 title        = {{Categorial Grammar: Logical Syntax, Semantics, and Processing}},
 publisher    = {Oxford University Press},
 address      = {New York and Oxford},
)
@phdthesis(simmons:12,
 author       = {Robert J. Simmons},
 year         = {2012},
 title        = {{Substructural Logical Specifications}},
 school       = {Carnegie Mellon University},
 address      = {Pittsburgh},
)