Cover Image

Denotational semantics for stabiliser quantum programs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Booth, Robert I., Comfort, Cole
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science Category Theory Symplectic Geometry Quantum Physics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Graphical Symplectic Algebra
by: Booth, Robert I., et al.
Published: (2024)

Complete equational theories for classical and quantum Gaussian relations
by: Booth, Robert I., et al.
Published: (2024)

A proof of Kontsevich-Soibelman conjecture
by: Efimov, Alexander I.
Published: (2009)

Foundations of Digital Circuits: Denotation, Operational, and Algebraic Semantics
by: Kaye, George
Published: (2025)

Explicitly Computing with Fukaya Categories of Surfaces with Boundary
by: Grossack, Chris
Published: (2025)

Unitalities and mapping spaces in $A_\infty$-categories
by: Tanaka, Hiro Lee
Published: (2024)

Foundations of $(A_\infty,2)$-categories: from flow to linear
by: Bottman, Nathaniel, et al.
Published: (2024)

The first step towards symplectic homotopy theory
by: Oganesyan, Vardan
Published: (2023)

Homological Mirror Symmetry Course at SIMIS: Introduction and Applications
by: Pasquarella, Veronica
Published: (2025)

Higher operad structure for Fukaya categories
by: Yuan, Hang
Published: (2026)

Localizations of the categories of $A_\infty$ categories and internal Homs over a ring
by: Canonaco, Alberto, et al.
Published: (2024)

Yet another cubical type theory, but via a semantic approach
by: Kapulkin, Chris, et al.
Published: (2025)

High schoolers excel at Oxford quantum course using pictorial mathematics
by: Coecke, Bob, et al.
Published: (2025)

A BV-Category of Spacetime Interventions
by: Hefford, James, et al.
Published: (2025)

One rig to control them all
by: Heunen, Chris, et al.
Published: (2025)

Supermaps on generalised theories
by: Wilson, Matt, et al.
Published: (2026)

Higher-order circuits
by: Wilson, Matt
Published: (2026)

Closing Bell: Boxing black box simulations in the resource theory of contextuality
by: Barbosa, Rui Soares, et al.
Published: (2021)

A Mathematical Framework for Transformations of Physical Processes
by: Wilson, Matt, et al.
Published: (2022)

Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi
by: Gao, Dichuan, et al.
Published: (2026)

A Profunctorial Semantics for Quantum Supermaps
by: Hefford, James, et al.
Published: (2024)

Bialgebras, and Lie monoid actions in Morse and Floer theory, I
by: Cazassus, Guillem, et al.
Published: (2024)

A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
by: Ghica, Dan R., et al.
Published: (2022)

Counting in Calabi--Yau categories, with applications to Hall algebras and knot polynomials
by: Gorsky, Mikhail, et al.
Published: (2024)

Infinity-categorical universal properties of quotients and localizations of A-infinity-categories
by: Oh, Yong-Geun, et al.
Published: (2020)

A Groupoid Approach to the Riemann Integral (and Path Integral Quantization of the Poisson Sigma Model)
by: Lackman, Joshua
Published: (2023)

Almost mathematics, Persistence module, and Tamarkin category
by: Kuwagaki, Tatsuki, et al.
Published: (2025)

Non-linear microlocal cut-off functors
by: Zhang, Bingyu
Published: (2024)

Adjoints, wrapping, and morphisms at infinity
by: Kuwagaki, Tatsuki, et al.
Published: (2023)

Relative critical loci and quiver moduli
by: Bozec, Tristan, et al.
Published: (2020)

Proto-Quipper with Reversing and Control
by: Fu, Peng, et al.
Published: (2024)

Causal and Compositional Abstraction
by: Lorenz, Robin, et al.
Published: (2026)

Symplectic double groupoids and the generalized Kähler potential
by: Álvarez, Daniel, et al.
Published: (2024)

The Morse complex is an $\infty$-functor
by: Cazassus, Guillem
Published: (2025)

Representability in non-linear elliptic Fredholm analysis
by: Pardon, John
Published: (2023)

Distributive Laws of Monadic Containers
by: Purdy, Chris, et al.
Published: (2025)

(Pointed) Univalence in Universe Category Models of Type Theory
by: Kapulkin, Chris, et al.
Published: (2025)

Comodule Representations of Second-Order Functionals
by: Ahman, Danel, et al.
Published: (2024)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

On the Axioms of Arboreal Categories
by: Jakl, Tomáš, et al.
Published: (2026)