The following pages link to Locally Boolean domains (Q2566030):
Displaying 8 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)
- LOCALIZATION ON SNOWFLAKE DOMAINS (Q3499184) (← links)
- Nondeterminism and Observable Sequentiality (Q3644761) (← links)
- (Q5028431) (← links)
- Sequential algorithms for unbounded nondeterminism (Q5971404) (← links)