Samson Abramsky & Radha Jagadeesan (1994):
New Foundations for the Geometry of Interaction.
Inf. Comput. 111(1),
pp. 53–119,
doi:10.1006/inco.1994.1041.
R. F. Blute, J. R. B. Cockett & R. A. G. Seely (2006):
Differential categories.
Mathematical structures in computer science 16(06),
pp. 1049–1083,
doi:10.1017/S0960129506005676.
R. F. Blute, J. R. B. Cockett & R. A. G. Seely (2009):
Cartesian differential categories.
Theory and Applications of Categories 22(23),
pp. 622–672.
R. F. Blute, R. B. B. Lucyshyn-Wright & K. O'Neill (2016):
Derivations in codifferential categories.
Cahiers de Topologie et Géométrie Différentielle Catégoriques 57,
pp. 243–280.
R. F. Blute, P. Panangaden & R. A. G. Seely (1994):
Fock space: a model of linear exponential types.
Manuscript, revised version of the MFPS paper above.
J. R. B. Cockett & G. S. H. Cruttwell (2014):
Differential Structure, Tangent Structure, and SDG.
Applied Categorical Structures 22(2),
pp. 331–417,
doi:10.1007/s10485-013-9312-0.
J. R. B. Cockett & J-S. P. Lemay (2018):
Integral categories and calculus categories.
Mathematical Structures in Computer Science,
pp. 1–66,
doi:10.1017/S0960129518000014.
J Robin B Cockett, Geoff S H Cruttwell & Jonathan D Gallagher (2011):
Differential restriction categories.
Theory and Applications of Categories 25(21),
pp. 537–613.
Robin Cockett, Cole Comfort & Priyaa Srinivasan (2018):
The Category CNOT.
In: Bob Coecke & Aleks Kissinger: Proceedings 14th International Conference on Quantum Physics and Logic, Nijmegen, The Netherlands, 3-7 July 2017,
Electronic Proceedings in Theoretical Computer Science 266.
Open Publishing Association,
pp. 258–293,
doi:10.4204/EPTCS.266.18.
T. Ehrhard (2017):
An introduction to Differential Linear Logic: proof-nets, models and antiderivatives.
Mathematical Structures in Computer Science,
pp. 1–66,
doi:10.1017/S0960129516000372.
M. Fiore (2015):
An axiomatics and a combinatorial model of creation/annihilation operators.
arXiv preprint arXiv:1506.06402.
R. Geroch (1985):
Mathematical Physics.
Chicago Lectures in Physics.
University of Chicago Press.
A. Hadzihasanovic (2017):
The algebra of entanglement and the geometry of composition..
University of OXford.
M. Hasegawa (2009):
On traced monoidal closed categories.
Mathematical Structures in Computer Science 19(2),
pp. 217–244,
doi:10.1017/S096012950800718.
Masahito Hasegawa (1997):
Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi.
In: Typed Lambda Calculi and Applications.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 196–213,
doi:10.1007/3-540-62688-3_37.
Masahito Hasegawa, Martin Hofmann & Gordon Plotkin (2008):
Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories,
pp. 367–385.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-540-78127-1_20.
AndrŽ Joyal, Ross Street & Dominic Verity (1996):
Traced monoidal categories.
Mathematical Proceedings of the Cambridge Philosophical Society 119(3),
pp. 447Ð468,
doi:10.1017/S0305004100074338.
Jim Laird, Giulio Manzonetto & Guy McCusker (2011):
Constructing Differential Categories and Deconstructing Categories of Games.
In: Luca Aceto, Monika Henzinger & Jiří Sgall: Automata, Languages and Programming.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 186–197,
doi:10.1007/978-3-642-10672-9_17.
S. Lang (2002):
Algebra, revised 3rd ed.
Graduate Texts in Mathematics 211,
doi:10.1007/978-1-4613-0041-0.
S. Mac Lane (1971, revised 2013):
Categories for the working mathematician.
Springer-Verlag, New York, Berlin, Heidelberg,
doi:10.1007/978-1-4612-9839-7.
Paul-André Melliès, Nicolas Tabareau & Christine Tasson (2018):
An explicit formula for the free exponential modality of linear logic.
Mathematical Structures in Computer Science 28(7),
pp. 1253–1286,
doi:10.1017/S0960129516000426.
P. Selinger (2011):
A Survey of Graphical Languages for Monoidal Categories,
pp. 289–355.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-642-12821-9_4.
Jamie Vicary (2008):
A Categorical Framework for the Quantum Harmonic Oscillator.
International Journal of Theoretical Physics 47(12),
pp. 3408–3447,
doi:10.1007/s10773-008-9772-4.