R. Adams (2014):
QPEL: Quantum programming and effect language.
In: Proc. QPL 2014,
doi:10.4204/EPTCS.172.10.
R. Adams & B. Jacobs (2015):
A Type Theory for Probabilistic and Bayesian Reasoning.
In: TYPES'15,
doi:10.4230/LIPIcs.TYPES.2015.1.
J.C. Baez, B. Coya & F. Rebro (2017):
Props in network theory.
arXiv preprint arXiv:1707.08321.
F. Bonchi, P. Sobociński & F. Zanasi (2017):
Interacting Hopf algebras.
Journal of Pure and Applied Algebra 221(1),
pp. 144–184,
doi:10.1016/j.jpaa.2016.06.002.
G. Chiribella, G.M. D'Ariano & P. Perinotti (2010):
Probabilistic theories with purification.
P.R. A 81,
doi:10.1103/PhysRevA.81.062348.
K. Cho, B. Jacobs, B. Westerbaan & A. Westerbaan (2015):
An Introduction to Effectus Theory.
ArXiv:1512.05813.
B. Coecke (2006):
Axiomatic description of mixed states from Selinger's CPM-construction..
In: QPL'06,
doi:10.1016/j.entcs.2008.04.014.
B. Coecke, C. Heunen & A. Kissinger (2016):
Categories of quantum and classical channels.
Quantum Information Processing,
pp. 5179–5209,
doi:10.1007/s11128-014-0837-4.
B. Coecke & A. Kissinger (2017):
Picturing Quantum Processes.
CUP,
doi:10.1017/9781316219317.
O. Cunningham & C. Heunen (2015):
Axiomatizing complete positivity.
In: Proc. QPL 2015,
doi:10.4204/EPTCS.195.11.
O. Cunningham & C. Heunen (2017):
Purity through factorisation.
In: Proc. QPL 2017,
doi:10.4204/EPTCS.266.20.
C. Hermida & R.D. Tennent (2012):
Monoidal indeterminates and categories of possible worlds.
Theoretical Computer Science 430,
pp. 3–22,
doi:10.1016/j.tcs.2012.01.001.
Special issue for MFPS 2009.
B. Jacobs (1994):
Semantics of weakening and contraction.
Annals Pure Appl. Logic 69,
pp. 73–103,
doi:10.1016/0168-0072(94)90020-5.
E. Jeandel, S. Perdrix & R. Vilmart (2018):
A complete axiomatisation of the ZX-calculus for Clifford+ T quantum mechanics.
In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science.
ACM,
pp. 559–568,
doi:10.1145/3209108.3209131.
A. Joyal & R. Street (1993):
Braided tensor categories.
Adv. Math. 102,
pp. 20–78,
doi:10.1006/aima.1993.1055.
A. Kissinger, S. Tull & B. Westerbaan (2017):
Picture-perfect Quantum Key Distribution.
ArXiv:1704.08668.
A. Kissinger & S. Uijlen (2017):
A categorical semantics for causal structure.
In: Proc. LICS 2017,
doi:10.1109/LICS.2017.8005095.
D. Kretschmann, D. Schlingemann & R.F. Werner (2008):
A continuity theorem for Stinespring's dilation.
J. Func. Analysis 255,
pp. 1889–1904,
doi:10.1016/j.jfa.2008.07.023.
M.L. Laplaza (1972):
Coherence for distributivity.
In: LNM 281,
pp. 29–65,
doi:10.1007/BFb0059555.
S. Mac Lane (1997):
Categories for the working mathematician.
Springer,
doi:10.1007/978-1-4757-4721-8.
P. Selinger (2005):
Dagger compact closed categories and completely positive maps.
In: Proc. QPL 2005,
doi:10.1016/j.entcs.2006.12.018.
P. Selinger & B. Valiron (2006):
A lambda calculus for quantum computation with classical control.
Math. Struct. Comput. Sci. 16,
pp. 527–552,
doi:10.1017/S0960129506005238.
S. Staton (2015):
Algebraic effects, linearity, and quantum programming languages.
In: Proc. POPL'15,
doi:10.1145/2676726.2676999.
R.D. Tennent (1990):
Semantical analysis of specification logic.
Inform. Comput. 85,
pp. 135–162,
doi:10.1016/0890-5401(90)90045-J.
S. Tull (2016):
Operational Theories of Physics as Categories.
In: Proc. QPL 2016.
D. Walker (2002):
Substructural Type Systems.
In: Advanced Topics in Types and Programming Languages.
MIT Press,
pp. 3–43.
A. Westerbaan & B. Westerbaan (2016):
Paschke Dilations.
In: Proc. QPL 2016,
doi:10.4204/EPTCS.236.15.
M.M. Wilde (2016):
From Classical to Quantum Shannon Theory.
ArXiv:1106.1445.
M.M. Wolf (2012):
Quantum Channels & Operations: Guided Tour.
https://www-m5.ma.tum.de/foswiki/pub/M5/Allgemeines/MichaelWolf/QChannelLecture.pdf.
eptcs@eptcs.org