On the recursion theorem in iterative operative spaces

DOI10.2307/2694971zbMath0993.03057OpenAlexW2030467568MaRDI QIDQ4328830

No author found.

Publication date: 29 April 2002

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2694971

zbMATH Keywords

combinatory logicrecursion theoremalgebraic recursion theoryiterative operative spacesabstract partially ordered algebras

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (2)

Unnamed Item ⋮ Diagonal fixed points in algebraic recursion theory

Cites Work

• Some models of combinatory logic
• Categorial generalization of algebraic recursion theory

This page was built for publication: On the recursion theorem in iterative operative spaces