@book(axler1997linear,
 author       = {Sheldon Axler},
 year         = {1997},
 title        = {Linear algebra done right},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/b97662},
)
@article(bankova2019graded,
 author       = {Dea Bankova and Bob Coecke and Martha Lewis and Dan Marsden},
 year         = {2019},
 title        = {Graded hyponymy for compositional distributional semantics},
 journal      = {Journal of Language Modelling},
 volume       = {6},
 number       = {2},
 pages        = {225--260},
 doi          = {10.15398/jlm.v6i2.230},
)
@article(coecke2020meaning,
 author       = {Bob Coecke and Konstantinos Meichanetzidis},
 year         = {2020},
 title        = {Meaning updating of density matrices},
 journal      = {Journal of Applied Logics},
 volume       = {7},
 number       = {5},
)
@incollection(coecke2000operational,
 author       = {Bob Coecke and David Moore and Alexander Wilce},
 year         = {2000},
 title        = {Operational quantum logic: An overview},
 booktitle    = {Current research in operational quantum logic},
 publisher    = {Springer},
 pages        = {1--36},
 doi          = {10.1007/978-94-017-1201-9},
)
@article(coecke2010mathematical,
 author       = {Bob Coecke and Mehrnoosh Sadrzadeh and Stephen Clark},
 year         = {2010},
 title        = {Mathematical foundations for a compositional distributional model of meaning},
 journal      = {Lambek Festschrift, Linguistic Analysis 36(1--4)},
 pages        = {345--384},
)
@article(correia2020density,
 author       = {Adriana~D. Correia and Michael Moortgat and Henk~T.C. Stoof},
 year         = {2020},
 title        = {Density matrices with metric for derivational ambiguity},
 journal      = {Journal of Applied Logics},
 volume       = {7},
 number       = {5},
)
@article(greco2019vector,
 author       = {Giuseppe Greco and Fei Liang and Michael Moortgat and Alessandra Palmigiano},
 year         = {2020},
 title        = {Vector spaces as Kripke frames},
 journal      = {Journal of Applied Logics},
 volume       = {7},
 number       = {5},
)
@book(griffiths2018introduction,
 author       = {David~J. Griffiths and Darrell~F. Schroeter},
 year         = {2018},
 title        = {Introduction to quantum mechanics},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781316995433},
)
@incollection(KurtoMM,
 author       = {N.~Kurtonina and M.~Moortgat},
 year         = {1997},
 title        = {Structural Control},
 editor       = {P.~Blackburn and M.~de~Rijke},
 booktitle    = {Specifying Syntactic Structures},
 publisher    = {CSLI},
 address      = {Stanford},
 pages        = {75--113},
)
@article(lambek1958mathematics,
 author       = {Joachim Lambek},
 year         = {1958},
 title        = {The mathematics of sentence structure},
 journal      = {The American Mathematical Monthly},
 volume       = {65},
 number       = {3},
 pages        = {154--170},
 doi          = {10.1080/00029890.1958.11989160},
)
@incollection(Lam61,
 author       = {Joachim Lambek},
 year         = {1961},
 title        = {On the calculus of syntactic types},
 editor       = {Roman Jakobson},
 booktitle    = {Structure of Language and its Mathematical Aspects},
 series       = {Proceedings of Symposia in Applied Mathematics},
 volume       = {XII},
 publisher    = {American Mathematical Society},
 pages        = {166--178},
 doi          = {10.1090/psapm/012/9972},
)
@article(MontagueUG,
 author       = {Richard Montague},
 year         = {1970},
 title        = {Universal grammar},
 journal      = {Theoria},
 volume       = {36},
 number       = {3},
 pages        = {373--398},
 doi          = {10.1111/j.1755-2567.1970.tb00434.x},
)
@article(mmjolli,
 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(moortgat2019frobenius,
 author       = {Michael Moortgat and Mehrnoosh Sadrzadeh and Gijs Wijnholds},
 year         = {2020},
 title        = {A {F}robenius Algebraic Analysis for Parasitic Gaps},
 journal      = {Journal of Applied Logics},
 volume       = {7},
 number       = {5},
 pages        = {823--852},
)
@article(moortgat2017lexical,
 author       = {Michael Moortgat and Gijs Wijnholds},
 year         = {2017},
 title        = {Lexical and derivational meaning in vector-based models of relativisation},
 journal      = {arXiv:\href{https://arxiv.org/abs/1711.11513}{1711.11513} },
)
@book(nielsen2002quantum,
 author       = {Michael~A Nielsen and Isaac Chuang},
 year         = {2002},
 title        = {Quantum computation and quantum information},
 publisher    = {Cambridge University Press},
)
@article(piedeleuopen,
 author       = {Robin Piedeleu and Dimitri Kartsaklis and Bob Coecke and Mehrnoosh Sadrzadeh},
 year         = {2015},
 title        = {Open System Categorical Quantum Semantics in Natural Language Processing},
 journal      = {6th International Conference on Algebra and Coalgebra in Computer Science (CALCO\IeC{\textquoteright}15). Ed: Larry Moss and Pawe\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ł}intopreamble] Soboci\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ń}intopreamble]ski},
 pages        = {267\IeC{\textendash}286},
 doi          = {10.4230/LIPIcs.CALCO.2015.267},
)
@article(DBLP:journals/amai/SadrzadehKB18,
 author       = {Mehrnoosh Sadrzadeh and Dimitri Kartsaklis and Esma Balkir},
 year         = {2018},
 title        = {Sentence entailment in compositional distributional semantics},
 journal      = {Ann. Math. Artif. Intell.},
 volume       = {82},
 number       = {4},
 pages        = {189--218},
 doi          = {10.1162/coli.2006.32.3.379},
)
@inproceedings(wansing1992,
 author       = {Heinrich Wansing},
 year         = {1992},
 title        = {Formulas-as-types for a hierarchy of sublogics of intuitionistic propositional logic},
 editor       = {David Pearce and Heinrich Wansing},
 booktitle    = {Nonclassical Logics and Information Processing},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {125--145},
 doi          = {10.1007/BFb0031928},
)