@inproceedings(SA96,
 author       = {S. Abramsky},
 year         = {1996},
 title        = {Retracing some paths in Process algebra},
 booktitle    = {CONCUR 96},
 publisher    = {Springer-Verlag Lecture Notes in Computer Science},
 pages        = {1--17},
 doi          = {10.1007/3-540-61604-7\_44},
)
@inproceedings(AC,
 author       = {S. Abramsky and B. Coecke},
 year         = {2004},
 title        = {A categorical semantics of quantum protocols},
 booktitle    = {Proc. 19th Annual IEEE Symp. on Logic in Computer Science (LICS 2004)},
 publisher    = {IEEE Computer Soc. Press},
 pages        = {415--425},
 doi          = {10.1109/LICS.2004.1319636},
)
@article(AHS,
 author       = {S. Abramsky and E. Haghverdi and P. Scott},
 year         = {2002},
 title        = {Geometry of interaction and linear combinatory algebras},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {12 (5)},
 doi          = {10.1017/S0960129502003730},
)
@inproceedings(WB,
 author       = {W. Buszkowski},
 year         = {2001},
 title        = {Lambek Grammars Based on Pregroups},
 editor       = {P. de Groote and G. Morrill and C. Retor{\'e}},
 booktitle    = {Logical Aspects of Computational Linguistics},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {95--109},
 doi          = {10.1007/3-540-48199-0_6},
)
@incollection(CCS,
 author       = {S. Clark and B. Coecke and M. Sadrzadeh},
 year         = {2008},
 title        = {A Compositional Distributional Model of Meaning},
 editor       = {P. D. Bruza and W. Lawless and K. Van Rijsbergen and D. Sofge and B. Coecke and G. Chen and L. Kauffman and S. Lamonaco},
 booktitle    = {Quantum Interaction: Proceedings of the Second Quantum Interaction Symposium - Qi-2008},
 publisher    = {College Publications},
)
@article(CGS,
 author       = {B. Coecke and E. Grefenstette and M. 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},
 note         = {Special issue on Seventh Workshop on Games for Logic and Programming Languages (GaLoP VII)},
)
@article(JYG,
 author       = {J.-Y. Girard},
 year         = {1986},
 title        = {The System F of Variable Types, Fifteen Years Later},
 journal      = {Theor. Comput. Sci.},
 volume       = {45},
 number       = {C},
 pages        = {159--192},
 doi          = {10.1016/0304-3975(86)90044-7},
)
@inbook(GSCCP,
 author       = {Edward Grefenstette and Mehrnoosh Sadrzadeh and Stephen Clark and Bob Coecke and Stephen Pulman},
 year         = {2014},
 title        = {Concrete Sentence Spaces for Compositional Distributional Models of Meaning},
 pages        = {71--86},
 publisher    = {Springer Netherlands},
 doi          = {10.1007/978-94-007-7284-7_5},
)
@phdthesis(PHD,
 author       = {P. Hines},
 year         = {1998},
 title        = {The algebra of self-similarity},
 school       = {University of Wales, Bangor},
 doi          = {10.13140/RG.2.2.21834.21447},
)
@article(PH99,
 author       = {P. Hines},
 year         = {1999},
 title        = {The categorical theory of self-similarity},
 journal      = {Theory and Applications of Categories},
 volume       = {6},
 pages        = {33--46},
 doi          = {10.5281/zenodo.1436477},
)
@article(PH08,
 author       = {P. Hines},
 year         = {2008},
 title        = {Machine Semantics},
 journal      = {Theoretical Computer Science},
 volume       = {409},
 pages        = {1--23},
 doi          = {10.1016/j.tcs.2008.07.015},
)
@inproceedings(PH13,
 author       = {Peter Hines},
 year         = {2013},
 title        = {Types and Forgetfulness in Categorical Linguistics and Quantum Mechanics},
 editor       = {Chris Heunen and Mehrnoosh Sadrzadeh and Edward Grefenstette},
 booktitle    = {Quantum Physics and Linguistics: A Compositional, Diagrammatic Discourse},
 publisher    = {Oxford University Press},
 pages        = {217--251},
 doi          = {10.1093/acprof:oso/9780199646296.003.0008},
)
@article(GTC2,
 author       = {A. Joyal},
 year         = {1991},
 title        = {The Geometry of Tensor Calculus (II)},
 journal      = {Advances in Mathematics},
 volume       = {88},
 doi          = {10.1016/0001-8708(91)90003-P},
)
@article(JSV,
 author       = {A. Joyal and R. Street and D. Verity},
 year         = {1996},
 title        = {Traced monoidal categories},
 journal      = {Mathematical Proceedings of the Cambridge Philosophical Society},
 volume       = {119},
 pages        = {447--468},
 doi          = {10.1017/S0305004100074338},
)
@article(KL,
 author       = {M. Kelly and M. Laplaza},
 year         = {1980},
 title        = {Coherence for Compact Closed Categories},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {19},
 pages        = {193--213},
 doi          = {10.1016/0022-4049(80)90101-2},
)
@inproceedings(KU,
 author       = {A. Kissinger and S. Uijlen},
 year         = {2017},
 title        = {A categorical semantics for causal structure},
 booktitle    = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}},
 pages        = {1--12},
 doi          = {10.1109/LICS.2017.8005095},
)
@inproceedings(JL99,
 author       = {J. Lambek},
 year         = {1999},
 title        = {Type Grammar Revisited},
 editor       = {A. Lecomte and F. Lamarche and Guy Perrier},
 booktitle    = {Logical Aspects of Computational Linguistics},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {1--27},
 doi          = {10.1007/3-540-48975-4_1},
)
@article(KP,
 author       = {K. Popper},
 year         = {1965},
 title        = {Conjectures and Refutations. The Growth of Scientific Knowledge},
 journal      = {Isis},
 volume       = {56},
 number       = {1},
 pages        = {88--88},
 doi          = {10.4324/9780203538074},
)
@incollection(PS,
 author       = {P. Selinger},
 year         = {2009},
 title        = {A survey of graphical langauges for monoidal categories},
 editor       = {B. Coecke},
 booktitle    = {New Structures for Physics},
 publisher    = {Springer},
 doi          = {10.1007/978-3-642-12821-9_4},
)