The following pages link to Games and Definability For FPC (Q4372924):
Displaying 6 items.
- Totality in arena games (Q636307) (← links)
- Nondeterminacy and recursion via stacks and games (Q1318704) (← links)
- Games and full abstraction for FPC. (Q1854351) (← links)
- A relational account of call-by-value sequentiality (Q2506495) (← links)
- Definable sets of real numbers, infinite games and core model theory (Q2784781) (← links)
- Infinite Games, Inductive Definitions and Transfinite Recursion (Q6135562) (← links)