Kripke logical relations and PCF (1995)

by Peter W O’Hearn, Jon G Riecke
Venue:Information and Computation