Algebraically Generalized Recursive Function Theory

DOI10.1147/RD.126.0465MaRDI QIDQ5577081zbMATH OpenOpenAlexFDO

Authors

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

Cited in

(14)

• Relations between the Chern numbers of quasicomplex manifolds
• Indexings of subrecursive classes
• On different kinds of indefinite
• Polynomial and abstract subrecursive classes
• On the problem of deciding equality in partial combinatory algebras and in a formal system
• Computational foundations of basic recursive function theory
• Computability on continuous, lower semi-continuous and upper semi-continuous real functions
• Limiting partial combinatory algebras
• scientific article; zbMATH DE number 3489105 (Why is no real title available?)
• Some remarks about the connections between Combinatory Logic and axiomatic recursion theory
• Collapsing partial combinatory algebras
• Effective applicative structures
• Bordism rings with split normal bundles. II
• Introduction to Turing categories

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5577081)