Full abstraction for the second order subset of an ALGOL-like language
- 1 January 1994
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Relational parametricity and local variablesPublished by Association for Computing Machinery (ACM) ,1993
- On the orthogonality of assignments and procedures in AlgolPublished by Association for Computing Machinery (ACM) ,1993
- Observable properties of higher order functions that dynamically create local names, or: What's new?Published by Springer Nature ,1993
- Towards fully abstract semantics for local variablesPublished by Association for Computing Machinery (ACM) ,1988
- LCF considered as a programming languageTheoretical Computer Science, 1977