On Full Abstraction for PCF: I, II, and III
Top Cited Papers
- 1 December 2000
- journal article
- Published by Elsevier in Information and Computation
- Vol. 163 (2) , 285-408
- https://doi.org/10.1006/inco.2000.2917
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Full abstraction for Idealized Algol with passive expressionsTheoretical Computer Science, 1999
- Abstract Böhm treesMathematical Structures in Computer Science, 1998