Showing quant-phShow all
2 papers · 1 filter
quant-ph2026
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…
quant-ph2026
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…