Algebraically Generalized Recursive Function Theory

DOI10.1147/rd.126.0465zbMath0185.01903OpenAlexW2149211673MaRDI QIDQ5577081

No author found.

Publication date: 1968

Published in: IBM Journal of Research and Development (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1147/rd.126.0465

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (14)

Limiting partial combinatory algebras ⋮ Effective applicative structures ⋮ Relations between the Chern numbers of quasicomplex manifolds ⋮ Indexings of subrecursive classes ⋮ Collapsing partial combinatory algebras ⋮ On different kinds of indefinite ⋮ Some remarks about the connections between Combinatory Logic and axiomatic recursion theory ⋮ Polynomial and abstract subrecursive classes ⋮ On the problem of deciding equality in partial combinatory algebras and in a formal system ⋮ Introduction to Turing categories ⋮ Bordism rings with split normal bundles. II ⋮ Computability on continuous, lower semi-continuous and upper semi-continuous real functions ⋮ Unnamed Item ⋮ Computational foundations of basic recursive function theory

This page was built for publication: Algebraically Generalized Recursive Function Theory