Logical full abstraction and PCF (0)

by J Longley, G Plotkin
Venue:In The Tbilisi Symposium on Logic, Language and Computation: selected papers (Gudauri, 1995), Stud. Logic Lang. Inform