Author:
Blute Richard F.,Guglielmi Alessio,Ivanov Ivan T.,Panangaden Prakash,Straßburger Lutz
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Nielsen, M., Chuang, I.: Quantum Computation and Quantum Information. Cambridge University Press (2000)
2. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science 2004, pp. 415–425. IEEE Computer Society (2004)
3. Abramsky, S., Coecke, B.: Physics from computer science. International Journal of Unconventional Computing 3, 179–197 (2007)
4. Lambek, J., Scott, P.: Introduction to Higher-order Categorical Logic. Cambridge Univ. Press (1986)
5. Girard, J.Y.: Linear logic: Its syntax and semantics. In: Girard, J.Y., Lafont, Y., Regnier, L. (eds.) Advances in Linear Logic. LMS Lecture Note Series, vol. 222, pp. 1–42. Cambridge University Press (1995)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献