The following pages link to (Q3912568):
Displaying 4 items.
- Distributive semantics for nondeterministic typed \(\lambda\)-calculi (Q760418) (← links)
- The origins of structural operational semantics (Q1878710) (← links)
- Observational program calculi and the correctness of translations (Q2339472) (← links)
- A relational account of call-by-value sequentiality (Q2506495) (← links)
