Logical full abstraction and PCF (1997)

by J R Longley, G D Plotkin
Venue:Tbilisi Symposium on Language, Logic and Computation