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

DOI10.1007/978-3-540-85110-3_8zbMath1166.68343MaRDI 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 rewriting; quantum computing; categorical logic; interactive theorem proving; graphical calculi

Mathematics Subject Classification ID

81P68: Quantum computation

03G30: Categorical logic, topoi

68Q42: Grammars and rewriting systems

18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)

Related Items

Exploring a Quantum Theory with Graph Rewriting and Computer Algebra