On full abstraction for PCF: I. Models, observables and the full abstraction problem II. Dialogue games and innocent strategies III. A fully abstract and universal game model (2000)

Cached

Download Links

by J. M. E. Hyland , C.-H. Ong
Venue:Information and Computation
Citations:24 - 9 self