Vito Michele Abrusci
Roberto Maieli
2015
Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing
Annie Foret
Glyn Morrill
Reinhard Muskens
Rainer Osswald
Preproceedings of the 20th Conference on Formal Grammar
ESSLLI 2015
Barcelona
39–54
J. M. Andreoli
1992
Logic programming with focusing in linear logic
Journal of Logic and Computation
2
3
297–347
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
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
383–396
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
784–842
10.1145/1094622.1094629
M. Kanazawa
1992
The \voidb@x Lambek calculus enriched with additional connectives
Journal of Logic, Language and Information
1
141–171
10.1007/BF00171695
J. Lambek
1961
On the Calculus of Syntactic Types
Roman Jakobson
Structure of Language and its Mathematical Aspects, Proceedings of the Symposia in Applied Mathematics XII
American Mathematical Society
Providence, Rhode Island
166–178
10.1090/psapm/012/9972
J. Lambek
1988
Categorial and Categorical Grammars
Richard T. Oehrle
Emmon Bach
Deidre Wheeler
Categorial Grammars and Natural Language Structures
Studies in Linguistics and Philosophy
32
D. Reidel
Dordrecht
297–317
10.1007/978-94-015-6878-4 11
Joachim Lambek
1958
The mathematics of sentence structure
American Mathematical Monthly
65
154–170
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
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
297–330
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
10.1007/978-3-642-31555-8
G. Morrill
1990
Grammar and Logical Types
Martin Stockhof
Leen Torenvliet
Proceedings of the Seventh Amsterdam Colloquium
429–450
Glyn Morrill
Oriol Valentín
2010
Displacement Calculus
Linguistic Analysis
36
1–4
167–192
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
1–48
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