Skip to content

Abstract Machines for Game Semantics, Revisited.

Olle Fredriksson, Dan R. Ghica

VenueA*LICS
Year2013
ProceedingsLICS

Browse the full LICS paper archive.