Spaces with combinators

DOI10.1007/BF01409966zbMath0788.03065OpenAlexW2031500102MaRDI QIDQ688513

Juan-Miguel Gracia

Publication date: 9 December 1993

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01409966

zbMATH Keywords

combinatory spacesgeneral recursion theory

Mathematics Subject Classification ID

Abstract and axiomatic computability and recursion theory (03D75)

Cites Work

• Unnamed Item
• Unnamed Item
• Combinatory logic. With two sections by William Craig.
• The lambda calculus. Its syntax and semantics. Rev. ed.
• Algebras and combinators
• Combinatory logic. Vol. II
• Another simplification of the recursion scheme
• The First Recursion Theorem for Iterative Combinatory Spaces
• Recursive objects in all finite types
• The Flow of a Laminar, Incompressible Jet Along a Parabola
• Classes of Recursively Enumerable Sets and Their Decision Problems

This page was built for publication: Spaces with combinators