Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation

DOI10.1007/978-3-540-85110-3_8zbMath1166.68343OpenAlexW1569848528MaRDI QIDQ5505491

Ross Duncan, Lucas Dixon

Publication date: 27 January 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-85110-3_8

zbMATH Keywords

graph rewritingquantum computingcategorical logicinteractive theorem provinggraphical calculi

Mathematics Subject Classification ID

Quantum computation (81P68) Categorical logic, topoi (03G30) Grammars and rewriting systems (68Q42) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (1)

Exploring a Quantum Theory with Graph Rewriting and Computer Algebra

This page was built for publication: Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation