The following pages link to (Q4986508):
Displaying 5 items.
- Program verification using symbolic game semantics (Q477213) (← links)
- The regular-language semantics of second-order idealized ALGOL (Q1884909) (← links)
- An algebraic account of references in game semantics (Q2805167) (← links)
- Game Semantics in String Diagrams (Q2986824) (← links)
- (Q3384159) (← links)