Primitive Recursion on the Partial Continuous Functionals

Publisher Website

1 January 1991

book chapter
Published by Springer Nature

p. 251-268
https://doi.org/10.1007/978-3-642-76677-0_18

Abstract

No abstract available

Keywords

This publication has 7 references indexed in Scilit:

Mathematische Logik
Published by Springer Nature ,1990
Equality between Functionals Revisited
Published by Elsevier ,1985
Ordinal analysis of terms of finite type
The Journal of Symbolic Logic, 1980
Tω as a Universal Domain
Journal of Computer and System Sciences, 1978
LCF considered as a programming language
Theoretical Computer Science, 1977
Equality between functionals
Published by Springer Nature ,1975
Functionals defined by recursion.
Notre Dame Journal of Formal Logic, 1967