Full Abstraction for PCF (2000)

by S Abramsky, R Jagadeesan, P Malacaria
Venue:Info. & Comp