Equationally fully abstract models of PCF
- 17 August 2006
- book chapter
- Published by Springer Nature
- p. 271-283
- https://doi.org/10.1007/bfb0040262
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Semantical Paradigms: Notes for an Invited LecturePublished by Defense Technical Information Center (DTIC) ,1988
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977