Observational full abstraction for pcf: dialogue games and innocent strategies (1994)

by M Hyland, C H L Ong