Manuscript En05-B@1 · En05-B.tex · section · 8b626460
Compositional convergence and implementation budgets
Compositional convergence and implementation budgets · lines 1421–1427
This is the compatible half-diamond accounting compared with En02-B and En05-A CheungEn02B,CheungEn05A; diamond distance is the reference-stable comparison used throughout Watrous.