Manuscript I@2 · I.tex · section · 85631fa7
The record transformation
Typed records and experiment interfaces › The record transformation · lines 1052–1057
The proposition uses the specified Born semantics. The same equation becomes a requirement on unknown strategies below; its two typed terms remain unchanged.