Graphical reasoning in compact closed categories for quantum computation (Q1044227)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Graphical reasoning in compact closed categories for quantum computation
scientific article

    Statements

    Graphical reasoning in compact closed categories for quantum computation (English)
    0 references
    0 references
    0 references
    11 December 2009
    0 references
    graph rewriting
    0 references
    quantum computing
    0 references
    interactive theorem proving
    0 references
    graphical calculi
    0 references
    ellipses notation
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references