Samson Abramsky & Bob Coecke (2004):
A categorical semantics of quantum protocols.
In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
IEEE,
pp. 415–425,
doi:10.1109/LICS.2004.1319636.
Michel Barr (2006):
The Chu construction: history of an idea.
Theory and Applications of Categories 17(1),
pp. 10–16.
Richard Blute, Robin Cockett & Robert Seely (1996):
! and ? - Storage as tensorial strength.
Mathematical Structures in Computer Science 6(4),
pp. 313 – 351,
doi:10.1017/S0960129500001055.
Richard Blute, Prakash Panangaden & Robert AG Seely (1994):
Fock space: a model of linear exponential types.
In: Proceedings of Ninth Conf. on Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science 802.
Springer,
pp. 1 – 25.
Robin Cockett, Cole Comfort & Priyaa Srinivasan (2018):
Dagger linear logic for categorical quantum mechanics.
ArXiv e-prints.
ArXiv:1809.00275.
Robin Cockett, Jürgen Koslowski & Robert Seely (2000):
Introduction to linear bicategories.
Mathematical Structures in Computer Science 10(2),
pp. 165–203,
doi:10.1017/S0960129520003047.
Robin Cockett & Robert Seely (1997):
Weakly distributive categories.
Journal of Pure and Applied Algebra 114(2),
pp. 133–173,
doi:10.1016/0022-4049(95)00160-3.
Robin Cockett & Priyaa Srinivasan (2019):
Complete Positivity for Mixed Unitary Categories.
arXiv preprint arXiv:1905.08877.
Robin Cockett & Priyaa Srinivasan (2021):
Exponential modalities and Complementarity.
ArXiv:2103.05191v1.
Bob Coecke & Ross Duncan (2011):
Interacting quantum observables: categorical algebra and diagrammatics.
New Journal of Physics 13(4),
pp. 043016,
doi:10.1088/1367-2630/13/4/043016.
Bob Coecke & Alex Kissinger (2017):
Picturing Quantum Processes: A First Course in Quantum Theory and Diagrammatic Reasoning.
Cambridge University Press,
doi:10.1017/9781316219317.
Bob Coecke & Dusko Pavlovic (2007):
Quantum measurements without sums.
In: Mathematics of Quantum Computation and Quantum Technology.
Taylor and Francis,
pp. 577–620.
Bob Coecke, Dusko Pavlovic & Jamie Vicary (2013):
A new description of orthogonal bases.
Mathematical Structures in Computer Science 23(3),
pp. 555–567,
doi:10.1017/S0960129512000047.
Jeff Egger (2010):
The Frobenius relations meet linear distributivity..
Theory and Applications of Categories 24,
pp. 25–38.
Thomas Ehrhard (2005):
Finiteness spaces.
Mathematical Structures in Computer Science 15(4),
pp. 615–646,
doi:10.1017/S0960129504004645.
Jean-Yves Girard (1987):
Linear logic.
Theoretical computer science 50(1),
pp. 1–101,
doi:10.1016/0304-3975(87)90045-4.
David J Griffiths & Darrell F Schroeter (2018):
Introduction to quantum mechanics.
Cambridge University Press,
doi:10.1017/9781316995433.
Chris Heunen & Jamie Vicary (2019):
Categories for Quantum Theory: An Introduction 28.
Oxford Graduate Texts in Mathematics,
doi:10.1093/oso/9780198739623.001.0001.
Yves Lafont (1988):
Logiques, catégories & machines: Implantation de langages de programmation guidé par la logique catégorique.
Université Paris Diderot - Paris,
[S.l.] : [s.n.], 1988.
Peter Selinger (2007):
Dagger compact closed categories and completely positive maps.
Electronic Notes in Theoretical Computer Science 170,
pp. 139–163,
doi:10.1016/j.entcs.2006.12.018.
Peter Selinger (2008):
Idempotents in dagger categories.
Electronic Notes in Theoretical Computer Science 210,
pp. 107–122,
doi:10.1016/j.entcs.2008.04.021.
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.
eptcs@eptcs.org