A categorical quantum logic

Mathematical Structures in Computer Science

Volumn 16, Issue 3, 2006, Pages 469-489

  Abramsky, Samson ^a   Duncan, Ross ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33750721680     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129506005275     Document Type: Article

References (13)

1. Abramsky, S. (2005) Abstract scalars, loops, and free traced and strongly compact closed categories. In: Fiadeiro, J. (ed.) Proceedings of CALCO 2005. Springer-Verlag Lecture Notes in Computer Science 3629 1-31.
2. Abramsky, S. and Coecke, B. (2004) A categorical semantics of quantum protocols. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science: LICS 2004, IEEE Computer Society 415-425.
3. Abramsky, S. and Coecke, B. (2005) Abstract physical traces. Theory and Applications of Categories 14(6) 111-124.
4. Abramsky, S., Gay, S. and Nagarajan, R. (1996) Interaction categories and the foundations of typed concurrent programming. In: Broy, M. (ed.) Proceedings of the 1994 Marktoberdorf Summer School on Deductive Program Design, Springer-Verlag 35-113.
5. Deligne, P. (1991) Catégories tannakiennes. In: Grothendieck Festschrift 2, Birkhauser 111-194.
6. Duncan, R. (2006) Types for Quantum Computation. Ph.D. thesis, Oxford University, (forthcoming).
7. Joyal, A., Street, R. and Verity, D. (1996) Traced monoidal categories. Math. Proc. Camb. Phil. Soc. 119 447-468.
8. Kelly, G.M. and Laplaza, M. L. (1980) Coherence for compact closed categories. Journal of Pure and Applied Algebra 19 193-213.
9. Mitchell, B. (1965) Theory of Categories, Academic Press.
10. Mac Lane, S. (1997) Categories for the Working Mathematician (second edition), Springer-Verlag.
11. Shirahata, M. (1996) A sequent calculus for compact closed categories.
12. Soloviev, S.V. (1987) On natural transformations of distinguished functors and their superpositions in certain closed categories. Journal of Pure and Applied Algebra 47.
13. Zukowski, M., Zeilinger, A., Home, M.A. and Ekert, A.K. (1993) 'Event ready detectors' Bell experiment via entanglement swapping. Physical Review Letters 71 (26) 4287-4290.