The Parallel Intensionally Fully Abstract Games Model of PCF.

Simon Castellan, Pierre Clairambault, Glynn Winskel

Browse the full LICS paper archive.