Games and full abstraction for PCF II: Second preliminary announcement (1993)

by S Abramsky, R Jagadeesan, P Malacaria