Logical Full Abstraction and PCF (1996)

by John Longley, Gordon Plotkin
Venue:Tbilisi Symposium on Language, Logic and Computation. SiLLI/CSLI