Games and Full Abstraction for FPC

Guy McCusker. Games and Full Abstraction for FPC. Inf. Comput., 160(1-2):1-61, 2000.

Abstract

Abstract is missing.