4 papers
Granthi: Higher-Order Quantum Programming via Unitary Wiring
Samson Abramsky, Radha Jagadeesan
Many mainstream quantum programming languages confine higher-order structure to a classical host while restricting the quantum layer to first-order operations on qubits. This paper…
Essential Unitarity for Higher-Order Quantum Computation
Samson Abramsky, Radha Jagadeesan
We develop a boundary-centric semantic framework for higher-order quantum computation, building on the Kelly-Laplaza description of compact closure and Abramsky's execution account…
Game Semantics for Higher-Order Unitary Quantum Computation
Samson Abramsky, Radha Jagadeesan
We develop a symmetric monoidal closed category of games, incorporating sums and products, to model quantum computation at higher types. This model is expressive, capable of repres…
(Towards a) Statistical Probabilistic Lazy Lambda Calculus
Radha Jagadeesan
We study the desiderata on a model for statistical probabilistic programming languages. We argue that they can be met by a combination of traditional tools, namely open bisimulatio…