The þ-function in λ-K-conversion
From MaRDI portal
Publication:5768088
DOI10.2307/2268281zbMath0018.19401OpenAlexW2798583139MaRDI QIDQ5768088
Publication date: 1937
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2268281
Related Items
Graph easy sets of mute lambda terms, An RNA-based theory of natural universal computation, Fixed point theorems for precomplete numberings, A variadic extension of Curry's fixed-point combinator
Cites Work