Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation (Q5505491)
From MaRDI portal
scientific article; zbMATH DE number 5498218
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation |
scientific article; zbMATH DE number 5498218 |
Statements
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation (English)
0 references
27 January 2009
0 references
graph rewriting
0 references
quantum computing
0 references
categorical logic
0 references
interactive theorem proving
0 references
graphical calculi
0 references
