Slide 1 Slide 2 Slide 3 Full abstraction * abstract-machine Compositional * black-box Game semantics Slide 4 players ‘p’ makes Program moves ‘o’ makes Context moves…
