Abramsky
No mentions found
This entity hasn't been tracked yet, or Iris is still building its knowledge base.
Related Articles from SNS
Essential Unitarity for Higher-Order Quantum Computation
arXiv:2606.04080v1 Announce Type: cross Abstract: 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 execution, with a unit-free monoidal sum providing reversible control and branching. We identify a notion of \emph{essential unitarity} generalizing unitarity from first-order processes to higher-order...
Higher-order bialgebraic semantics
Announce Type: replace Abstract: Compositionality proofs in higher-order languages are notoriously involved, and general semantic frameworks guaranteeing compositionality are hard to come by. In particular, Turi and Plotkin's bialgebraic abstract GSOS framework, which provides off-the-shelf compositionality results for first-order languages, so far does not apply to higher-order languages. In the present work, we develop a theory of abstract GSOS specifications for higher-order languages, in...