Manuscript En08-A@1 · En08-A.tex · section · c688d76d
Limits of the interpretation
Causal typing as an explicit refinement › Limits of the interpretation · lines 1921–1925
This is type safety relative to a specified order, not a derivation of its geometry.