Quantum Computation, Categorical Semantics and Linear Logic
Andr\'e van Tonder, Miquel Dorca
TL;DR
This paper explores the connections between quantum computation, categorical semantics, and linear logic, aiming to provide a unified theoretical framework for understanding quantum computational processes.
Contribution
It introduces a novel categorical semantics approach to model quantum computation within the framework of linear logic.
Findings
Developed a categorical model for quantum computation
Linked linear logic to quantum computational processes
Provided theoretical insights into quantum programming semantics
Abstract
This preprint has been withdrawn.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsQuantum Computing Algorithms and Architecture · Computability, Logic, AI Algorithms · Quantum Mechanics and Applications