Full abstraction for pcf (extended abstract (1994)

by S Abramsky, R Jagadeesan, P Malacaria
Venue:Theoretical Aspects of Computer Software. International Symposium, TACS 94