Subrecursive hierarchies on Scott domains
- 1 July 1993
- journal article
- research article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 32 (4) , 239-257
- https://doi.org/10.1007/bf01387405
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Primitive Recursion on the Partial Continuous FunctionalsPublished by Springer Nature ,1991
- Domains for denotational semanticsPublished by Springer Nature ,1982
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Rekursionszahlen und die Grzegorczyk-HierarchieArchive for Mathematical Logic, 1969
- Classes of recursive functions based on Ackermann’s functionPacific Journal of Mathematics, 1965
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTESDialectica, 1958