Computable functionals of finite types
- 1 July 1972
- journal article
- Published by Springer Nature in Algebra and Logic
- Vol. 11 (4) , 203-242
- https://doi.org/10.1007/bf02219096
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Continuous latticesLecture Notes in Mathematics, 1972
- Some Reasons for Generalizing Recursion TheoryPublished by Elsevier ,1971
- On the indexing of classes of recursively enumerable setsThe Journal of Symbolic Logic, 1966