2 papers
quant-ph2026
Granthi: Higher-Order Quantum Programming via Unitary Wiring
Samson Abramsky, Radha Jagadeesan
Existing quantum programming languages confine higher order structure to a classical host while restricting the quantum layer to first order operations on qubits. This paper presen…
quant-ph2026
Essential Unitarity for Higher-Order Quantum Computation
Samson Abramsky, Radha Jagadeesan
We develop a semantic framework for higher-order quantum computation based on a boundary-centric presentation of compact closed categories, building on Kelly--Laplaza and Abramsky.…