Kripke Logical Relations and PCF (1995)

Cached

Download Links

by Peter W. O'Hearn , Jon G. Riecke
Venue:Information and Computation
Citations:31 - 3 self