Skip to content

A Fully Abstract Game Semantics for Finite Nondeterminism.

Russell Harmer, Guy McCusker

VenueA*LICS
Year1999
ProceedingsLICS

Browse the full LICS paper archive.