Author:
Kissinger Aleks,Zamdzhiev Vladimir
Publisher
Springer International Publishing
Reference20 articles.
1. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocols. In: Proceedings of 19th IEEE Symposium on Logic in Computer Science (2004)
2. Backens, M.: The zx-calculus is complete for stabilizer quantum mechanics. In: Proceedings of 9th Workshop on Quantum Physics and Logic QPL 2012 (2012)
3. Baez, J.C., Erbele, J.: Categories in control (2014).
arXiv:1405.6881
4. Bonchi, F., Sobociński, P., Zanasi, F.: Full abstraction for signal flow graphs. In: Principles of Programming Languages POPL 2015 (2015)
5. Coecke, B.: Quantum picturalism. Contemp. Phys. 51(1), 59–83 (2010)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Graphical Representation of Verification Proof Plans;Lecture Notes in Computer Science;2024
2. A Category of Surface-Embedded Graphs;Electronic Proceedings in Theoretical Computer Science;2023-08-07
3. A Framework for Rewriting Families of String Diagrams;Electronic Proceedings in Theoretical Computer Science;2019-02-06
4. The Tinker tool for graphical tactic development;International Journal on Software Tools for Technology Transfer;2017-03-17