Manuscript I@2 · I.tex · section · 85631fa7
Liberal scheduling and observational confluence
Metatheory of the specified calculus › Liberal scheduling and observational confluence · lines 804–808
Confluence compares evaluations of one program. Composability compares distinct programs.