Algebra and Coalgebra in Computer Science
From MaRDI portal
Publication:5492810
DOI10.1007/11548133zbMath1151.81002arXiv0910.2931MaRDI 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
81P10: Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)
18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)
Related Items
Quantum Speedup and Categorical Distributivity, Semimodule Enrichment, Reversible monadic computing, A link between quantum logic and categorical quantum mechanics, Quantum circuit oracles for abstract machine computations, String diagrams for traced and compact categories are oriented 1-cobordisms, The category of matroids, Some phenomena in tautological rings of manifolds, Division algebras and quantum theory, De-linearizing Linearity: Projective Quantum Axiomatics From Strong Compact Closure, POVMs and Naimark's Theorem Without Sums, From Coalgebraic to Monoidal Traces, Can a Quantum Computer Run the von Neumann Architecture?