Higher-order quantum processes respecting closed labs in classical spacetime are exactly those realizable as quantum circuits with quantum control of causal order.
A sequent calculus for opetopes
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
roles
background 1polarities
background 1representative citing papers
Presents solvers for contortion (via poset maps for Dedekind/De Morgan) and Kan problems (via CSP) in cubical type theory, implemented in Haskell and demonstrated on Eckmann-Hilton.
citing papers explorer
-
Higher-order quantum processes respecting closed labs in a spacetime have quantum controlled causal order
Higher-order quantum processes respecting closed labs in classical spacetime are exactly those realizable as quantum circuits with quantum control of causal order.
-
Automating Boundary Filling in Cubical Type Theories
Presents solvers for contortion (via poset maps for Dedekind/De Morgan) and Kan problems (via CSP) in cubical type theory, implemented in Haskell and demonstrated on Eckmann-Hilton.