Dialogue Games and Innocent Strategies: An Approach to (Intensional) Full Abstraction for PCF (1993)

Cached

Download Links

by Martin Hyland , Luke Ong
Citations:3 - 0 self