#Full-Abstraction

1 post in tag “Full-Abstraction”.

• 

  Game Semantics: Fully Abstract Models of PCF, AJM Games, and Strategies as Sheaves

  2021-09-30

  A rigorous exploration of game semantics—the technique that cracked the full abstraction problem for PCF by modeling computation as dialogue between Player and Opponent.