@article(abramsky2009no,
 author       = {Samson Abramsky},
 year         = {2009},
 title        = {No-cloning in categorical quantum mechanics},
 journal      = {Semantic Techniques in Quantum Computation},
 pages        = {1--28},
 doi          = {10.1017/CBO9781139193313.002},
)
@book(bimbo2014proof,
 author       = {Katalin Bimb{\'o}},
 year         = {2014},
 title        = {Proof theory: Sequent calculi and related formalisms},
 publisher    = {CRC Press},
 doi          = {10.1201/b17294},
)
@article(chvalovsky2016full,
 author       = {Karel Chvalovsk{\`y} and Hor{\v{c}}{\'\i}k, Rostislav},
 year         = {2016},
 title        = {Full Lambek calculus with contraction is undecidable},
 journal      = {The Journal of Symbolic Logic},
 volume       = {81},
 number       = {2},
 pages        = {524--540},
 doi          = {10.1017/jsl.2015.18},
)
@article(clark2015vector,
 author       = {Stephen Clark},
 year         = {2015},
 title        = {Vector space models of lexical meaning},
 journal      = {Handbook of Contemporary Semantic Theory, The},
 pages        = {493--522},
 doi          = {10.1002/9781118882139.ch16},
)
@article(coecke2013lambek,
 author       = {Bob Coecke and Edward Grefenstette and Mehrnoosh Sadrzadeh},
 year         = {2013},
 title        = {Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus},
 journal      = {Annals of pure and applied logic},
 volume       = {164},
 number       = {11},
 pages        = {1079--1100},
 doi          = {10.1016/j.apal.2013.05.009},
)
@article(coecke2010mathematical,
 author       = {Bob Coecke and Mehrnoosh Sadrzadeh and Stephen Clark},
 year         = {2010},
 title        = {Mathematical foundations for a compositional distributional model of meaning},
 journal      = {arXiv preprint arXiv:1003.4394},
 url          = {https://arxiv.org/abs/1003.4394},
)
@article(dalrymple1991ellipsis,
 author       = {Mary Dalrymple and Stuart M Shieber and Fernando CN Pereira},
 year         = {1991},
 title        = {Ellipsis and higher-order unification},
 journal      = {Linguistics and philosophy},
 volume       = {14},
 number       = {4},
 pages        = {399--452},
 doi          = {10.1007/BF00630923},
)
@inproceedings(grefenstette2011experimental,
 author       = {Edward Grefenstette and Mehrnoosh Sadrzadeh},
 year         = {2011},
 title        = {Experimental support for a categorical compositional distributional model of meaning},
 booktitle    = {Proceedings of the Conference on Empirical Methods in Natural Language Processing},
 organization = {Association for Computational Linguistics},
 pages        = {1394--1404},
 url          = {https://aclanthology.coli.uni-saarland.de/papers/D11-1129/d11-1129},
)
@inproceedings(jacobs2011bases,
 author       = {Bart Jacobs},
 year         = {2011},
 title        = {Bases as coalgebras},
 booktitle    = {International Conference on Algebra and Coalgebra in Computer Science},
 organization = {Springer},
 pages        = {237--252},
 doi          = {10.1007/978-3-642-22944-2_17},
)
@article(jager1998multi,
 author       = {Gerhard J{\"a}ger},
 year         = {1998},
 title        = {A Multi-Modal Analysis of Anaphora and Ellipsis},
 journal      = {University of Pennsylvania Working Papers in Linguistics},
 volume       = {5},
 number       = {2},
 pages        = {2},
 url          = {https://repository.upenn.edu/pwpl/vol5/iss2/2/},
)
@book(jager2006anaphora,
 author       = {Gerhard J{\"a}ger},
 year         = {2006},
 title        = {Anaphora and type logical grammar},
 volume       = {24},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/1-4020-3905-0},
)
@article(kartsaklis2016coordination,
 author       = {Dimitri Kartsaklis},
 year         = {2016},
 title        = {Coordination in categorical compositional distributional semantics},
 journal      = {arXiv preprint arXiv:1606.01515},
 doi          = {10.4204/EPTCS.221.4},
)
@article(kartsaklisverb,
 author       = {Dimitri Kartsaklis and Matthew Purver and Mehrnoosh Sadrzadeh},
 year         = {2016},
 title        = {Verb Phrase Ellipsis using Frobenius Algebras in Categorical Compositional Distributional Semantics},
 journal      = {DSALT Workshop, European Summer School on Logic, Language and Information},
 url          = {https://www.eecs.qmul.ac.uk/~mpurver/papers/kartsaklis-et-al16dsalt.pdf},
)
@inproceedings(kartsaklis2013prior,
 author       = {Dimitri Kartsaklis and Mehrnoosh Sadrzadeh},
 year         = {2013},
 title        = {Prior disambiguation of word tensors for constructing sentence vectors},
 booktitle    = {Proceedings of the 2013 Conference on Empirical Methods in Natural Language Processing},
 pages        = {1590--1601},
 url          = {https://aclanthology.coli.uni-saarland.de/papers/D13-1166/d13-1166},
)
@article(kempson20154,
 author       = {Ruth Kempson and Ronnie Cann and Eleni Gregoromichelaki Arasheshghi and Matthew Purver},
 year         = {2015},
 title        = {Ellipsis},
 journal      = {Chapter 4 of The Handbook of Contemporary Semantic Theory},
 volume       = {3},
 pages        = {114},
 doi          = {10.1002/9781118882139.ch4},
)
@inproceedings(lin2001dirt,
 author       = {Dekang Lin and Patrick Pantel},
 year         = {2001},
 title        = {DIRT@ SBT@ discovery of inference rules from text},
 booktitle    = {Proceedings of the seventh ACM SIGKDD international conference on Knowledge discovery and data mining},
 organization = {ACM},
 pages        = {323--328},
 doi          = {10.1145/502512.502559},
)
@article(moortgat1996multimodal,
 author       = {Michael Moortgat},
 year         = {1996},
 title        = {Multimodal linguistic inference},
 journal      = {Journal of Logic, Language and Information},
 volume       = {5},
 number       = {3-4},
 pages        = {349--385},
 doi          = {10.1007/BF00159344},
)
@article(moortgat2017lexical,
 author       = {Michael Moortgat and Gijs Wijnholds},
 year         = {2017},
 title        = {Lexical and Derivational Meaning in Vector-Based Models of Relativisation},
 journal      = {Proceedings of the 21st Amsterdam Colloquium.},
 url          = {https://arxiv.org/abs/1711.11513},
)
@inproceedings(morrill2015computational,
 author       = {Glyn Morrill and Valent{\'\i}n, Oriol},
 year         = {2015},
 title        = {Computational Coverage of TLG: Nonlinearity},
 booktitle    = {Proceedings of NLCS'15. Third Workshop on Natural Language and Computer Science},
 volume       = {32},
 organization = {EasyChair Publications},
 pages        = {51--63},
 url          = {https://arxiv.org/abs/1706.03033},
)
@inproceedings(morrill2016logic,
 author       = {Glyn Morrill and Valent{\'\i}n, Oriol},
 year         = {2016},
 title        = {On the Logic of Expansion in Natural Language},
 booktitle    = {Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996--2016) 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings 9},
 organization = {Springer},
 pages        = {228--246},
 doi          = {10.1007/978-3-662-53826-5_14},
)
@inproceedings(muskens2016context,
 author       = {Reinhard Muskens and Mehrnoosh Sadrzadeh},
 year         = {2016},
 title        = {Context Update for Lambdas and Vectors},
 booktitle    = {International Conference on Logical Aspects of Computational Linguistics},
 organization = {Springer},
 pages        = {247--254},
 doi          = {10.1007/978-3-662-53826-5_15},
)
@article(sadrzadeh2013frobenius,
 author       = {Mehrnoosh Sadrzadeh and Stephen Clark and Bob Coecke},
 year         = {2013},
 title        = {The Frobenius anatomy of word meanings I: subject and object relative pronouns},
 journal      = {Journal of Logic and Computation},
 volume       = {23},
 number       = {6},
 pages        = {1293--1317},
 doi          = {10.1093/logcom/ext044},
)
@article(surarso1996cut,
 author       = {Bayu Surarso and Horoakira Ono},
 year         = {1996},
 title        = {Cut elimination in noncommutative substructural logics},
 journal      = {Reports on Mathematical Logic},
 volume       = {30},
 pages        = {13--29},
 url          = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.95.5770&rep=rep1&type=pdf},
)
@article(turney2010frequency,
 author       = {Peter D Turney and Patrick Pantel},
 year         = {2010},
 title        = {From frequency to meaning: Vector space models of semantics},
 journal      = {Journal of artificial intelligence research},
 volume       = {37},
 pages        = {141--188},
 doi          = {10.1613/jair.2934},
)
@article(wijnholds2014categorical,
 author       = {Gijs Wijnholds},
 year         = {2014},
 title        = {Categorical foundations for extended compositional distributional models of meaning},
 journal      = {MSc. thesis},
 url          = {https://pdfs.semanticscholar.org/19c9/5240e4a37603a74e76831f0c2e4673de40fc.pdf},
)