Categories of quantum cpos

DOI10.1017/S096012952610053XMaRDI QIDQ7250608zbMATH OpenFDO

Authors Andre Kornell, Bert Lindenhovius, Michael Mislove

Publication date 21 May 2026

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1017/S096012952610053X

zbMATH Keywords

domain theoryrecursive typesquantum programming languagesquantum domain theoryquantum setsomega-complete partial orderquantum cpo

Mathematics Subject Classification ID

Theory of programming languages (68N15) Quantum computation (81P68) Continuous lattices and posets, applications (06B35) Categorical semantics of formal languages (18C50)

Cites work

• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 4192610 (Why is no real title available?)
• scientific article; zbMATH DE number 3845811 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1256737 (Why is no real title available?)
• scientific article; zbMATH DE number 626734 (Why is no real title available?)
• scientific article; zbMATH DE number 671685 (Why is no real title available?)
• scientific article; zbMATH DE number 2079022 (Why is no real title available?)
• scientific article; zbMATH DE number 1544066 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 7350775 (Why is no real title available?)
• A biset-enriched categorical model for Proto-Quipper with dynamic lifting
• A categorical model for a quantum circuit description language (extended abstract)
• A category of quantum posets
• A lambda calculus for quantum computation with classical control
• A von Neumann algebra approach to quantum metrics
• An Algebraic Approach to Quantum Field Theory
• Applying quantitative semantics to higher-order quantum computing
• Categories for Quantum Theory
• Category theory in context
• Completing simple valuations in K-categories
• Dcpo-completion of posets
• Discrete quantum structures. I: Quantum predicate logic
• Discrete quantum structures. II: Examples
• Grothendieck quantaloids for allegories of enriched categories
• Notions of computation and monads
• Operator algebras. Theory of \(C^*\)-algebras and von Neumann algebras
• Orthomodular structures as quantum logics. Transl. from the Slovak
• Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
• Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer
• Quantum Programs as Kleisli Maps
• Quantum Suplattices
• Quantum collections
• Quantum graphs as quantum relations
• Quantum programming with inductive datatypes: causality and affine type theory
• Quantum relations
• Quantum sets
• Semantics for a lambda calculus for string diagrams
• Semantics for a quantum programming language by operator algebras
• Semigroups in complete lattices. Quantales, modules and related topics
• Tensors, monads and actions
• The Category-Theoretic Solution of Recursive Domain Equations
• Towards a quantum domain theory: order-enrichment and fixpoints in W^*-algebras
• Universal Properties in Quantum Theory
• Variation through enrichment
• Zero-Error Communication via Quantum Channels, Noncommutative Graphs, and a Quantum Lovász Number

This page was built for publication: Categories of quantum cpos

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