Publisher
Open Publishing Association
Reference25 articles.
1. QPEL: Quantum programming and effect language;Adams,2014
2. A Type Theory for Probabilistic and Bayesian Reasoning;Adams,2015
3. Props in network theory;Baez;arXiv preprint arXiv:1707.08321,2017
4. Interacting Hopf algebras;Bonchi;Journal of Pure and Applied Algebra,2017
5. Probabilistic theories with purification;Chiribella;P.R. A,2010
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Minimal Equational Theories for Quantum Circuits;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Probabilistic Programming Interfaces for Random Graphs: Markov Categories, Graphons, and Nominal Sets;Proceedings of the ACM on Programming Languages;2024-01-05
3. Compositional Reversible Computation;Lecture Notes in Computer Science;2024
4. The syntactic side of autonomous categories enriched over generalised metric spaces;Logical Methods in Computer Science;2023-12-18
5. Universal Properties of Partial Quantum Maps;Electronic Proceedings in Theoretical Computer Science;2023-11-16