Extensional embedding of a strongly stable model of PCF
- 1 January 1991
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- An Introduction to Event StructuresDAIMI Report Series, 1989
- The system F of variable types, fifteen years laterTheoretical Computer Science, 1986
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977