Author:
ABRAMSKY SAMSON,DUNCAN ROSS
Abstract
We define a strongly normalising proof-net calculus corresponding to the logic of strongly compact closed categories with biproducts. The calculus is a full and faithful representation of the free strongly compact closed category with biproducts on a given category with an involution. This syntax can be used to represent and reason about quantum processes.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. References;Foundations of Quantum Programming;2024
2. Prospects;Foundations of Quantum Programming;2024
3. Compact Inverse Categories;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
4. Quantum Logic under Semiclassical Limit: Information Loss;Ukrainian Journal of Physics;2022-08-29
5. Causal and compositional structure of unitary transformations;Quantum;2021-07-28