Full abstraction for PCF
scientific article; zbMATH DE number 1853142
scientific article