A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces
From MaRDI portal
Publication:4190625
DOI10.1002/malq.19780240803zbMath0405.03024MaRDI QIDQ4190625
Publication date: 1978
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19780240803
03D99: Computability and recursion theory