Scientific note

Essential Unitarity for Higher-Order Quantum Computation

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.Morphisms are polarized boundary linkings composed by exe...