Quantum CPOs

DOI10.4204/EPTCS.340.9MaRDI QIDQ6645582zbMATH OpenFDO

Authors Andre Kornell, Bert Lindenhovius, Michael Mislove

Publication date 28 November 2024

Full work available at URL https://doi.org/10.4204/EPTCS.340.9

Mathematics Subject Classification ID

Foundations, quantum information and its processing, quantum axioms, and philosophy (81Pxx)

Cites work

• A categorical model for a quantum circuit description language (extended abstract)
• A lambda calculus for quantum computation with classical control
• A von Neumann Algebra Approach to Quantum Metrics/Quantum Relations
• Algebraic specification of data types: A synthetic approach
• Applying quantitative semantics to higher-order quantum computing
• Axiomatic Domain Theory in Categories of Partial Maps
• Classical control, quantum circuits and linear logic in enriched category theory
• Enriching a linear/non-linear lambda calculus: a programming language for string diagrams
• HEREDITARILY ANTISYMMETRIC OPERATOR ALGEBRAS
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 3088093 (Why is no real title available?)
• LNL-FPC: the linear/non-linear fixpoint calculus
• Quantum computation and quantum information. 10th anniversary edition
• Quantum programming with inductive datatypes: causality and affine type theory
• Quantum relations
• Quantum sets
• QWIRE: a core language for quantum circuits
• Session types as intuitionistic linear propositions

Cited in

(1)

• The quantum monadology

This page was built for publication: Quantum CPOs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6645582)