Publisher
Springer Berlin Heidelberg
Reference111 articles.
1. Abelson, H., Sussman, G.J., Sussman, J.: Structure and Interpretation of Computer Programs, MIT Press, Cambridge (1996). Available at http://mitpress.mit.edu/sicp/
2. Abramsky, S.: Abstract scalars, loops, and free traced and strongly compact closed categories. In: Proceedings of CALCO 2005, Lecture Notes in Computer Science 3629, Springer, Berlin, 2005, 1–31. Also available at http://web.comlab.ox.ac.uk/ oucl/work/samson.abramsky/calco05.pdf
3. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. Available at arXiv:quant-ph/0402130
4. Abramsky, S., Duncan, R.: A categorical quantum logic, to appear in Mathematical Structures in Computer Science (2006). Also available as arXiv:quant-ph/0512114
5. Abramsky, S., Haghverdi, E., Scott, P.: Geometry of interaction and linear combinatory algebras, Math. Struct. Comput. Sci. 12, 625–665 (2002). Also available at http://citeseer.ist.psu.edu/491623.html
Cited by
96 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献