Author:
Cockett Robin,Heunen Chris
Publisher
Springer International Publishing
Reference43 articles.
1. Abramsky, S. (1993). Interaction categories. In G. Burn, S. Gay, & M. Ryan, (Eds.). Theory and formal methods. Berlin: Springer (1993).
2. Abramsky, S. (2004). High-level methods for quantum computation and information. In Logic in computer science (pp. 410–414). IEEE Computer Society.
3. Abramsky, S. (2005). Abstract scalars, loops, and free traced and strongly compact closed categories. In Conference on Algebra and Coalgebra (Vol. 3629, pp. 1–31). Lecture notes in computer science. Berlin: Springer.
4. Abramsky, S. (2008). Mathematics of Quantum Computing and Technology. Temperley-Lieb algebra: From knot theory to logic and computation via quantum mechanics (pp. 415–458). Taylor and Francis (2008).
5. Abramsky, S. (2008). No-cloning in categorical quantum mechanics. In Semantic techniques for quantum computation (pp. 1–28). Cambridge University Press, Cambridge.