Hereditarily sequential functionals
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 253-264
- https://doi.org/10.1007/3-540-58140-5_25
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Observable algorithms on concrete data structuresPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Observable sequentiality and full abstractionPublished by Association for Computing Machinery (ACM) ,1992
- Characterizations of the Basic Feasible Functionals of Finite TypePublished by Springer Nature ,1990
- Type 2 recursion theoryTheoretical Computer Science, 1985
- 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
- Expressibility of functions in D. Scott's LCF languageAlgebra and Logic, 1976
- Theorie der Numerierungen IIMathematical Logic Quarterly, 1975
- Continuous latticesLecture Notes in Mathematics, 1972