Games and Full Abstraction for FPC

Information and Computation - United States
doi 10.1006/inco.1999.2845