Algebra and Coalgebra in Computer Science
From MaRDI portal
Publication:5492810
DOI10.1007/11548133zbMath1151.81002arXiv0910.2931OpenAlexW249899439MaRDI QIDQ5492810
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0910.2931
Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items
From Coalgebraic to Monoidal Traces ⋮ Division algebras and quantum theory ⋮ String diagrams for traced and compact categories are oriented 1-cobordisms ⋮ Reversible monadic computing ⋮ Unnamed Item ⋮ Can a Quantum Computer Run the von Neumann Architecture? ⋮ Logic and Geometry of Agents in Agent-Based Modeling ⋮ The category of matroids ⋮ Quantum circuit oracles for abstract machine computations ⋮ Semimodule Enrichment ⋮ Quantum Speedup and Categorical Distributivity ⋮ Some phenomena in tautological rings of manifolds ⋮ A link between quantum logic and categorical quantum mechanics ⋮ De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure ⋮ POVMs and Naimark's Theorem Without Sums
This page was built for publication: Algebra and Coalgebra in Computer Science