421 citations · 1.5k across the 77 of their papers we have counts for
4 papers · 1 filter
A Game Semantics for Generic Polymorphism
Samson Abramsky, Radha Jagadeesan
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe the…
Semantics of Interaction
Samson Abramsky
This is an introduction to Game Semantics based on some lecture notes given at the CLiCS II summer school in Cambridge in 1995. We will focus on the recent (1994) work on Game sema…
Games and Full Completeness for Multiplicative Linear Logic
Samson Abramsky, Radha Jagadeesan
We present a game semantics for Linear Logic, in which formulas denote games and proofs denote winning strategies. We show that our semantics yields a categorical model of Linear L…
Full Abstraction for PCF
Samson Abramsky, Radha Jagadeesan, Pasquale Malacaria
An intensional model for the programming language PCF is described, in which the types of PCF are interpreted by games, and the terms by certain "history-free" strategies. This mod…