Games and full abstraction for FPC.
scientific article; zbMATH DE number 1853109
scientific article