@article(bechet2007learnability,
 author       = "Denis B\'e{}chet and Annie Foret and Isabelle Tellier",
 year         = "2007",
 title        = "Learnability of Pregroup Grammars",
 journal      = "Studia Logica",
 volume       = "87",
 number       = "2-3",
 pages        = "225--252",
 doi          = "10.1007/s11225-007-9085-2",
)
@article(buszkowski1984note,
 author       = "Wojciech Buszkowski",
 year         = "1984",
 title        = "A note on the Lambek-van Benthem calculus",
 journal      = "Bulletin of the Section of Logic",
 volume       = "13",
 number       = "1",
 pages        = "31--35",
)
@article(buszkowski2008pregroup,
 author       = "Wojciech Buszkowski and Katarzyna Moroz",
 year         = "2008",
 title        = "Pregroup grammars and context-free grammars",
 journal      = "Computational Algebraic Approaches to Natural Language, Polimetrica",
 pages        = "1--21",
)
@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      = "Ann. Pure Appl. Logic",
 volume       = "164",
 number       = "11",
 pages        = "1079--1100",
 doi          = "10.1016/j.apal.2013.05.009",
)
@inproceedings(cohen2010viterbi,
 author       = "Shay B. Cohen and Noah A. Smith",
 year         = "2010",
 title        = "Viterbi training for PCFGs: Hardness results and competitiveness of uniform initialization",
 booktitle    = "In Proc. of ACL",
)
@article(delahiguera2005bibliographical,
 author       = "Colin De La Higuera",
 year         = "2005",
 title        = "A bibliographical study of grammatical inference",
 journal      = "Pattern recognition",
 volume       = "38",
 number       = "9",
 pages        = "1332--1348",
 doi          = "10.1016/j.patcog.2005.01.003",
)
@inproceedings(delpeuch2014natural,
 author       = "Antonin Delpeuch and Anne Preller",
 year         = "2014",
 title        = "From Natural Language to {RDF} Graphs with Pregroups",
 booktitle    = "Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)",
 publisher    = "Association for Computational Linguistics",
 address      = "Gothenburg, Sweden",
 pages        = "55--62",
 url          = "http://www.aclweb.org/anthology/W14-1407",
)
@inproceedings(dudau-sofronie2001logic,
 author       = "Daniela Dudau-Sofronie and Isabelle Tellier and Marc Tommasi",
 year         = "2001",
 title        = "From Logic to Grammars via Types",
 booktitle    = "Proceedings of the 3rd Workshop on Learning Language in Logic",
 pages        = "35--46",
)
@inproceedings(dudau2003learnable,
 author       = "Daniela Dudau-Sofronie and Isabelle Tellier and Marc Tommasi",
 year         = "2003",
 title        = "A learnable class of Classical Categorial Grammars from typed examples",
 booktitle    = "8th Conference on Formal Grammar",
 pages        = "77--88",
)
@article(gold1967language,
 author       = "E Mark Gold",
 year         = "1967",
 title        = "Language identification in the limit",
 journal      = "Information and control",
 volume       = "10",
 number       = "5",
 pages        = "447--474",
 doi          = "10.1016/S0019-9958(67)91165-5",
)
@inproceedings(grefenstette2011experimental,
 author       = "Edward Grefenstette and Mehrnoosh Sadrzadeh",
 year         = "2011",
 title        = "Experimental Support for a Categorical Compositional Distributional Model of Meaning",
 booktitle    = "EMNLP",
 pages        = "1394--1404",
 url          = "http://www.aclweb.org/anthology/D11-1129",
)
@inproceedings(guttmann2006variations,
 author       = "Walter Guttmann and Markus Maucher",
 year         = "2006",
 title        = "Variations on an ordering theme with constraints",
 booktitle    = "Fourth IFIP International Conference on Theoretical Computer Science-TCS 2006",
 organization = "Springer",
 pages        = "77--90",
 doi          = "10.1007/978-0-387-34735-6\_10",
)
@article(kanazawa1996identification,
 author       = "Makoto Kanazawa",
 year         = "1996",
 title        = "Identification in the limit of categorial grammars",
 journal      = "Journal of Logic, Language and Information",
 volume       = "5",
 number       = "2",
 pages        = "115--155",
 doi          = "10.1007/BF00173697",
)
@book(karp1972reducibility,
 author       = "Richard M Karp",
 year         = "1972",
 title        = "Reducibility among combinatorial problems",
 publisher    = "Springer",
 doi          = "10.1007/978-1-4684-2001-2\_9",
)
@article(lambek2008pregroup,
 author       = "J Lambek",
 year         = "2008",
 title        = "Pregroup Grammars and Chomsky\IeC {\textquoteright }s Earliest Examples",
 journal      = "Journal of Logic, Language and Information",
 volume       = "17",
 number       = "2",
 pages        = "141--160",
 doi          = "10.1007/s10849-007-9053-2",
)
@article(lambek1968deductive,
 author       = "Joachim Lambek",
 year         = "1968",
 title        = "Deductive systems and categories",
 journal      = "Mathematical Systems Theory",
 volume       = "2",
 number       = "4",
 pages        = "287--318",
 doi          = "10.1007/bf01703261",
)
@book(pinker2009language,
 author       = "Steven Pinker",
 year         = "2009",
 title        = "Language Learnability and Language Development, With New Commentary by the Author",
 publisher    = "Harvard University Press",
)
@incollection(preller2005category,
 author       = "Anne Preller",
 year         = "2005",
 title        = "Category theoretical semantics for pregroup grammars",
 booktitle    = "Logical aspects of computational linguistics",
 publisher    = "Springer",
 pages        = "238--254",
 doi          = "10.1007/11422532\_16",
)
@article(preller2007free,
 author       = "Anne Preller and Joachim Lambek",
 year         = "2007",
 title        = "Free Compact 2-categories",
 journal      = "Mathematical. Structures in Comp. Sci.",
 volume       = "17",
 number       = "2",
 pages        = "309--340",
 doi          = "10.1017/S0960129506005901",
)
@article(preller2011semantic,
 author       = "Anne Preller and Mehrnoosh Sadrzadeh",
 year         = "2011",
 title        = "Semantic Vector Models and Functional Models for Pregroup Grammars",
 journal      = "Journal of Logic, Language and Information",
 volume       = "20",
 number       = "4",
 pages        = "419--443",
 doi          = "10.1007/s10849-011-9132-2",
)
@inproceedings(selinger2010autonomous,
 author       = "Peter Selinger",
 year         = "2010",
 title        = "Autonomous categories in which {$A \simeq A*$}",
 booktitle    = "Proceedings of the 7th International Workshop on Quantum Physics and Logic (QPL 2010), Oxford",
 pages        = "151--160",
)
@inproceedings(selinger2011survey,
 author       = "Peter Selinger",
 year         = "2011",
 title        = "A survey of graphical languages for monoidal categories",
 booktitle    = "New Structures for Physics",
 series       = "Lecture Notes in Physics",
 volume       = "813",
 publisher    = "Springer",
 pages        = "289--233",
 doi          = "10.1007/978-3-642-12821-9\_4",
)