Spaces with combinators
From MaRDI portal
Publication:688513
DOI10.1007/BF01409966zbMath0788.03065MaRDI QIDQ688513
Publication date: 9 December 1993
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
03D75: Abstract and axiomatic computability and recursion theory
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