constructive mathematics, realizability, computability
propositions as types, proofs as programs, computational trinitarianism
quantum algorithms:
The “ZX-calculus” is an elaboration for the purpose of quantum computation of the string diagram-calculus used in quantum information theory via dagger-compact categories.
Homepage
Original article:
Relation to braided fusion categories for anyon braiding:
See also:
(…)
Last revised on December 10, 2022 at 04:32:38. See the history of this page for a list of all contributions to it.