Author:
Selinger Peter,Valiron Benoît
Publisher
Cambridge University Press
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. How to Bake a Quantum Π;Proceedings of the ACM on Programming Languages;2024-08-15
2. The Relational Machine Calculus;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. Higher-Order Process Matrix Tomography of a Passively-Stable Quantum Switch;PRX Quantum;2024-02-09
4. Enriched Presheaf Model of Quantum FPC;Proceedings of the ACM on Programming Languages;2024-01-05
5. quAPL: Modeling Quantum Computation in an Array Programming Language;2023 IEEE International Conference on Quantum Computing and Engineering (QCE);2023-09-17