The following pages link to On the symmetry of sequentiality (Q5890040):
Displaying 12 items.
- A synthetic theory of sequential domains (Q424548) (← links)
- Preface to the special volume (Q534064) (← links)
- Parallel and serial hypercoherences (Q1583243) (← links)
- A relative PCF-definability result for strongly stable functions and some corollaries (Q1854294) (← links)
- Comparing hierarchies of types in models of linear logic (Q1881220) (← links)
- Polarized games (Q1886321) (← links)
- On dialogue games and graph games (Q2130592) (← links)
- Sequential algorithms and strongly stable functions (Q2570134) (← links)
- Some programming languages suggested by game models (extended abstract) (Q2805154) (← links)
- Concrete data structures as games (Q2849886) (← links)
- Definability and full abstraction (Q2864154) (← links)
- Interpreting Localized Computational Effects Using Operators of Higher Type (Q3507453) (← links)