On Full Abstraction for PCF: I, II, and III

By Martin Hyland, C. Ong. Information and Computation, 2000

630 citations recorded by the source corpus.

Subfields: Artificial Intelligence

View Paper: https://www.semanticscholar.org/paper/337a8e9ce4d76794a42d9ee787b0ffd0ca09ef4d