@article(abramsky1992new,
 author       = {Samson Abramsky and Radha Jagadeesan},
 year         = {1994},
 title        = {New Foundations for the Geometry of Interaction},
 journal      = {Inf. Comput.},
 volume       = {111},
 number       = {1},
 pages        = {53--119},
 doi          = {10.1006/inco.1994.1041},
)
@article(blute2006differential,
 author       = {R. F. Blute and J. R. B. Cockett and R. A. G. Seely},
 year         = {2006},
 title        = {Differential categories},
 journal      = {Mathematical structures in computer science},
 volume       = {16},
 number       = {06},
 pages        = {1049--1083},
 doi          = {10.1017/S0960129506005676},
)
@article(blute2009cartesian,
 author       = {R. F. Blute and J. R. B. Cockett and R. A. G. Seely},
 year         = {2009},
 title        = {Cartesian differential categories},
 journal      = {Theory and Applications of Categories},
 volume       = {22},
 number       = {23},
 pages        = {622--672},
)
@article(blute2015derivations,
 author       = {R. F. Blute and Lucyshyn-Wright, R. B. B. and K. O'Neill},
 year         = {2016},
 title        = {Derivations in codifferential categories},
 journal      = {Cahiers de Topologie et G{\'e}om{\'e}trie Diff{\'e}rentielle Cat{\'e}goriques},
 volume       = {57},
 pages        = {243--280},
)
@article(blute1994fock,
 author       = {R. F. Blute and P. Panangaden and R. A. G. Seely},
 year         = {1994},
 title        = {Fock space: a model of linear exponential types},
 journal      = {Manuscript, revised version of the MFPS paper above},
)
@article(cockett2014differential,
 author       = {J. R. B. Cockett and G. S. H. Cruttwell},
 year         = {2014},
 title        = {Differential Structure, Tangent Structure, and SDG},
 journal      = {Applied Categorical Structures},
 volume       = {22},
 number       = {2},
 pages        = {331--417},
 doi          = {10.1007/s10485-013-9312-0},
)
@article(cockettlemay2018,
 author       = {J. R. B. Cockett and J-S. P. Lemay},
 year         = {2018},
 title        = {Integral categories and calculus categories},
 journal      = {Mathematical Structures in Computer Science},
 pages        = {1--66},
 doi          = {10.1017/S0960129518000014},
)
@article(cockett2011differential,
 author       = {J Robin B Cockett and Geoff S H Cruttwell and Jonathan D Gallagher},
 year         = {2011},
 title        = {Differential restriction categories},
 journal      = {Theory and Applications of Categories},
 volume       = {25},
 number       = {21},
 pages        = {537--613},
)
@inproceedings(cockett2017category,
 author       = {Robin Cockett and Cole Comfort and Priyaa Srinivasan},
 year         = {2018},
 title        = {The Category CNOT},
 editor       = {Bob Coecke and Aleks Kissinger},
 booktitle    = {{\rm Proceedings 14th International Conference on} Quantum Physics and Logic, {\rm Nijmegen, The Netherlands, 3-7 July 2017}},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {266},
 publisher    = {Open Publishing Association},
 pages        = {258--293},
 doi          = {10.4204/EPTCS.266.18},
)
@article(ehrhard2017introduction,
 author       = {T. Ehrhard},
 year         = {2017},
 title        = {An introduction to Differential Linear Logic: proof-nets, models and antiderivatives},
 journal      = {Mathematical Structures in Computer Science},
 pages        = {1--66},
 doi          = {10.1017/S0960129516000372},
)
@article(fenn2007weyl,
 author       = {Roger Fenn and Vladimir Turaev},
 year         = {2007},
 title        = {Weyl algebras and knots},
 journal      = {Journal of Geometry and Physics},
 volume       = {57},
 number       = {5},
 pages        = {1313 -- 1324},
 doi          = {10.1016/j.geomphys.2006.10.002},
 url          = {http://www.sciencedirect.com/science/article/pii/S039304400600132X},
)
@article(fiore2015axiomatics,
 author       = {M. Fiore},
 year         = {2015},
 title        = {An axiomatics and a combinatorial model of creation/annihilation operators},
 journal      = {arXiv preprint arXiv:1506.06402},
)
@book(geroch1985mathematical,
 author       = {R. Geroch},
 year         = {1985},
 title        = {Mathematical Physics},
 series       = {Chicago Lectures in Physics},
 publisher    = {University of Chicago Press},
)
@phdthesis(ZWcalc,
 author       = {A. Hadzihasanovic},
 year         = {2017},
 title        = {The algebra of entanglement and the geometry of composition.},
 school       = {University of OXford},
)
@article(hasegawa2009traced,
 author       = {M. Hasegawa},
 year         = {2009},
 title        = {On traced monoidal closed categories},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {19},
 number       = {2},
 pages        = {217--244},
 doi          = {10.1017/S096012950800718},
)
@inproceedings(hasegawa1997recursion,
 author       = {Masahito Hasegawa},
 year         = {1997},
 title        = {Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi},
 booktitle    = {Typed Lambda Calculi and Applications},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {196--213},
 doi          = {10.1007/3-540-62688-3_37},
)
@inbook(hasegawa2008finite,
 author       = {Masahito Hasegawa and Martin Hofmann and Gordon Plotkin},
 year         = {2008},
 title        = {Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories},
 pages        = {367--385},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-540-78127-1_20},
)
@article(hyland2003glueing,
 author       = {Martin Hyland and Andrea Schalk},
 year         = {2003},
 title        = {Glueing and orthogonality for models of linear logic},
 journal      = {Theoretical Computer Science},
 volume       = {294},
 number       = {1},
 pages        = {183 -- 231},
 doi          = {10.1016/S0304-3975(01)00241-9},
 url          = {http://www.sciencedirect.com/science/article/pii/S0304397501002419},
 note         = {Category Theory and Computer Science},
)
@article(joyal1996traced,
 author       = {AndrŽ Joyal and Ross Street and Dominic Verity},
 year         = {1996},
 title        = {Traced monoidal categories},
 journal      = {Mathematical Proceedings of the Cambridge Philosophical Society},
 volume       = {119},
 number       = {3},
 pages        = {447Ð468},
 doi          = {10.1017/S0305004100074338},
)
@inproceedings(laird2013constructing,
 author       = {Jim Laird and Giulio Manzonetto and Guy McCusker},
 year         = {2011},
 title        = {Constructing Differential Categories and Deconstructing Categories of Games},
 editor       = {Luca Aceto and Monika Henzinger and Ji{\v{r}}{\'i} Sgall},
 booktitle    = {Automata, Languages and Programming},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {186--197},
 doi          = {10.1007/978-3-642-10672-9_17},
)
@article(lang2002algebra,
 author       = {S. Lang},
 year         = {2002},
 title        = {Algebra, revised 3rd ed},
 journal      = {Graduate Texts in Mathematics},
 volume       = {211},
 doi          = {10.1007/978-1-4613-0041-0},
)
@book(mac2013categories,
 author       = {Mac Lane, S.},
 year         = {1971, revised 2013},
 title        = {Categories for the working mathematician},
 publisher    = {Springer-Verlag, New York, Berlin, Heidelberg},
 doi          = {10.1007/978-1-4612-9839-7},
)
@article(mellies2009explicit,
 author       = {Paul{-}Andr{\'{e}} Melli{\`{e}}s and Nicolas Tabareau and Christine Tasson},
 year         = {2018},
 title        = {An explicit formula for the free exponential modality of linear logic},
 journal      = {Mathematical Structures in Computer Science},
 volume       = {28},
 number       = {7},
 pages        = {1253--1286},
 doi          = {10.1017/S0960129516000426},
)
@inbook(selinger2010survey,
 author       = {P. Selinger},
 year         = {2011},
 title        = {A Survey of Graphical Languages for Monoidal Categories},
 pages        = {289--355},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 doi          = {10.1007/978-3-642-12821-9_4},
)
@article(vicary2008categorical,
 author       = {Jamie Vicary},
 year         = {2008},
 title        = {A Categorical Framework for the Quantum Harmonic Oscillator},
 journal      = {International Journal of Theoretical Physics},
 volume       = {47},
 number       = {12},
 pages        = {3408--3447},
 doi          = {10.1007/s10773-008-9772-4},
)