Semantics of Higher-Order Quantum Computation via Geometry of Interaction
Semantics of Higher-Order Quantum Computation via Geometry of Interaction
While much of the current study on quantum computation employs low-level formalisms such as quantum circuits, several high-level languages/calculi have been recently proposed aiming at structured quantum programming. The current work contributes to the semantical study of such languages, by providing interaction-based semantics of a functional quantum programming language, the …