The following pages link to Locally Boolean domains (Q2566030):
Displaying 7 items.
- Imperative programs as proofs via game semantics (Q388203) (← links)
- A synthetic theory of sequential domains (Q424548) (← links)
- A calculus of coroutines (Q817847) (← links)
- Some Programming Languages Suggested by Game Models (Extended Abstract) (Q2805154) (← links)
- Nondeterminism and Observable Sequentiality (Q3644761) (← links)
- (Q5028431) (← links)
- Sequential algorithms for unbounded nondeterminism (Q5971404) (← links)
