Spaces with combinators

DOI10.1007/BF01409966MaRDI QIDQ688513zbMATH OpenOpenAlexFDO

Authors 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)

Review text

We introduce an algebraic system of spaces with combinators, with the aim to use it as a framework for studying general recursion theory.

Recommendations

• scientific article; zbMATH DE number 2247259
• Combinatorial spaces
• Operative vs. combinatory spaces
• Combinatory spaces versus operative spaces with storage operation
• Composant-like decompositions
• scientific article; zbMATH DE number 3853056
• Spaces on sets
• On combinatorial properties of binary spaces
• Spaces with complexity one
• scientific article; zbMATH DE number 1309467

Cites work

• Algebras and combinators
• Another simplification of the recursion scheme
• Classes of Recursively Enumerable Sets and Their Decision Problems
• Combinatory logic. Vol. II
• Combinatory logic. With two sections by William Craig.
• scientific article; zbMATH DE number 3991488 (Why is no real title available?)
• scientific article; zbMATH DE number 3484026 (Why is no real title available?)
• Recursive objects in all finite types
• The First Recursion Theorem for Iterative Combinatory Spaces
• The Flow of a Laminar, Incompressible Jet Along a Parabola
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(1)

• Combinatorial spaces

This page was built for publication: Spaces with combinators

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