Reversible Monadic Computing

Electronic Notes in Theoretical Computer Science

Volumn 319, Issue , 2015, Pages 217-237

  Heunen, Chris ^a,b   Karvonen, Martti ^a,b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b AALTO UNIVERSITY   (Finland)

Author keywords

dagger category; Frobenius monad; quantum measurement; reversible computing

Indexed keywords

ALGEBRA; QUANTUM COMPUTERS; QUANTUM THEORY; SEMANTICS;

CATEGORICAL SEMANTICS; DAGGER CATEGORIES; EILENBERG-MOORE ALGEBRAS; FROBENIUS MONAD; HIGHER-ORDER; QUANTUM COMPUTING; QUANTUM MEASUREMENT; REVERSIBLE COMPUTING;

COMPUTATION THEORY;

EID: 84951749251     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2015.12.014     Document Type: Conference Paper

References (52)

1. S. Abramsky Abstract scalars, loops, and free traced and strongly compact closed categories Algebra and Coalgebra in Computer Science (2005) 2005
2. S. Abramsky, and B. Coecke A categorical semantics of quantum protocols Logic in Computer Science, 19 2004 415 425
3. T. Altenkirch, and J. Grattage A functional quantum programming language Logic in Computer Science 2005 249 258
4. T. Altenkirch, and A.S. Green Semantics Techniques in Quantum Computation 2010 Cambridge University Press 173 205
5. M. Barr, and C. Wells Category Theory for Computing Science 1990 Prentice-Hall
6. W.J. Bowman, R.P. James, and A. Sabry Dagger traced symmetric monoidal categories and reversible programming Reversible Computation 2011
7. B. Coecke, E.O. Paquette, and D. Pavlovic Semantic Techniques in Quantum Computation 2009 Cambridge University Press 29 69
8. B. Coecke, and D. Pavlovic Quantum measurements without sums Taylor and Francis 2008 559 596
9. B. Coecke, D. Pavlović, and J. Vicary A new description of orthogonal bases Mathematical Structures in Computer Science 23 2012 555 567
10. B. Day On closed category of functors II Sydney Category Theory Seminar Lecture Notes in Mathematics vol. 420 1974 20 54
11. A. de Vos, and S. de Baerdemacker Matrix calculus for classical and quantum circuits ACM Journal on Emerging Technologies in Computing Systems 11 2014 9
12. A. Di Pierro, C. Hankin, and H. Wiklicky Quantitative relations and approximate process equivalences CONCUR 14 Lecture Notes in Computer Science vol. 2761 2003 508 522
13. A. Di Pierro, and H. Wiklicky Operator algebras and the operational semantics of probabilistic languages MFCSIT 3 Electronic Notes in Theoretical Computer Science vol. 161 2006 131 150
14. A.S. Green, P.L. Lumsdaine, N.J. Ross, P. Selinger, and B. Valiron A scalable quantum programming language ACM SIGPLAN Notices 48 2013 333 342
15. I. Hasuo, and N. Hoshino Semantics of higher-order quantum computation via geometry of interaction Logic in Computer Science 2011 237 246
16. C. Heunen Categorical quantum models and logics Ph.D. thesis 2009 Radboud University Nijmegen
17. C. Heunen An embedding theorem for Hilbert categories Theory and Applications of Categories 22 2009 321 344
18. C. Heunen, I. Contreras, and A. Cattaneo Relative Frobenius algebras are groupoids Journal of Pure and Applied Algebra 217 2013 114 124
19. C. Heunen, and J. Vicary Categories for Quantum Theory: An Introduction 2015 Oxford University Press
20. B. Jacobs Involutive categories and monoids, with a GNS-correspondence Foundations of Physics 42 2012 874 895
21. B. Jacobs On block structures in quantum computation Mathematical Foundations of Program Semantics Electronic Notes in Theoretical Computer Science vol. 298 2013 233 255
22. B. Jacobs, and J. Rutten A tutorial on (co)algebras and (co)induction EATCS Bulletin 62 1997 222 259
23. B.P.F. Jacobs Semantics of weakening and contraction Annals of Pure and Applied Logic 69 1994 73 106
24. B.P.F. Jacobs Coalgebraic walks, in quantum and Turing computation FoSSaCS Lecture Notes in Computer Science vol. 6604 2011 12 26
25. B.P.F. Jacobs, C. Heunen, and I. Hasuo Categorical semantics for arrows Journal of Functional Programming 19 2009 403 438
26. O. Kammar, S. Lindley, and N. Oury Handlers in action International Conference on Functional Programming XVIII 2013 145 148
27. G.M. Kelly, and M.L. Laplaza Coherence for compact closed categories Journal of Pure and Applied Algebra 19 1980 193 213
28. M. Keyl Fundamentals of quantum information theory Physical Reports 369 2002 431 548
29. A. Kock Strong functors and monoidal monads Archiv der Mathematik 23 1972 113 120
30. D. Kozen Semantics of probabilistic programs Journal of Computer and System Sciences 22 1981 328 350
31. J. Lambek, and P. Scott Introduction to higher order categorical logic 1986 Cambridge University Press
32. A. Lauda Frobenius algebras and ambidextrous adjunctions Theory and Applicatoins of Categories 16 2006 84 122
33. H. Lindner Adjunctions in monoidal categories Manuscripta Mathematica 26 1978 123 139
34. D. Marsden Category theory using string diagrams arXiv:1401.7220 2014
35. M. Mislove, J. Ouaknine, D. Pavlovic, and J. Worrell Duality for labelled Markov processes FOSSACS 7 Lecture Notes in Computer Science vol. 2987 2004 393 407
36. E. Moggi Notions of computation and monads Information and Computation 93 1991 55 92
37. M.A. Moshier, and D. Petrişan A duality theorem for real C∗-algebras CALCO 3 Lecture Notes in Computer Science vol. 5728 2009 284 299
38. P. Panangaden Labelled Markov processes 2009 Imperial College Press
39. D. Pavlović Quantum and classical structures in nondeterministic computation P. Bruza, Third International symposium on Quantum Interaction Lecture Notes in Artificial Intelligence vol. 5494 2009 143 157
40. D. Pavlovic Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories Quantum Physics and Logic VI Electronic Notes in Theoretical Computer Science vol. 270 2009 121 139
41. D. Pavlovic Geometry of abstraction in quantum computation Classical and Quantum Information Assurance Foundations and Practice, Dagstuhl Seminar Proceedings 2010 09311
42. G.D. Plotkin, and M. Pretnar Handling algebraic effects Logical Methods in Computer Science 9 2013 23
43. N. Saheb-Djahromi Cpo's of measure for nondeterminism Theoretical Computer Science 12 1980 19 37
44. P. Selinger A survey of graphical languages for monoidal categories Lecture Notes in Physics 813 2009 289 356
45. P. Selinger, and B. Valiron A lambda calculus for quantum computation with classical control Mathematical Structures in Computer Science 16 2006 527 552
46. R. Street Frobenius monads and pseudomonoids Journal of Mathematical Physics 45 2004 3930 3948
47. M.E. Szabo Algebra of Proofs Studies in Logic and the Foundations of Mathematics vol. 88 1978 North-Holland
48. T. Toffoli Reversible computing Automata, Languages and Programming 85 1980 632 644
49. Univalent Foundations Program, T., "Homotopy Type Theory: Univalent Foundations of Mathematics," http://homotopytypetheory.org/book, Institute for Advanced Study, 2013.
50. J. Vicary Categorical formulation of quantum algebras Communications in Mathematical Physics 304 2011 765 796
51. P. Wadler Comprehending monads Mathematical Structures in Computer Science 2 1992 461 493
52. H. Wolff Monads and monoids on symmetric monoidal closed categories Archiv der Mathematik 24 1973 113 120