Sequentiality and strong stability
- 10 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 138-145
- https://doi.org/10.1109/lics.1991.151638
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- The system F of variable types, fifteen years laterTheoretical Computer Science, 1986
- Sequential algorithms on concrete data structuresTheoretical Computer Science, 1982
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977