Semantics. Expressions reduce according to a call-by-value strategy, for which we define evaluation contexts thus:
Appears in 6 contracts
Sources: Chaperone Contracts for Higher Order Sessions, Chaperone Contracts for Higher Order Sessions, Chaperone Contracts for Higher Order Sessions