Games and Full Abstraction for FPC

Guy McCusker. Games and Full Abstraction for FPC. In LICS. pages 174-183, 1996.

Bibliographies