1 paper
Vincent Danos, Elham Kashefi, Prakash Panangaden
We propose a calculus of local equations over one-way computing patterns, which preserves interpretations, and allows the rewriting of any pattern to a standard form where entangle…