Manuscript Oai283-A@1 · Oai283-A.tex · section · 6fb75895

The unchanged XXII-C carrier

Finite futures, three-relation typing, and cone obstructions › The unchanged XXII-C carrier · lines 1276–1283

Back to manuscript

For a countably indexed family of separately tested tripartite processes, draw within-trial directed edges when , and no edges between different trials. Collapse strongly connected components and order the quotient by reachability.

Nearby in this section