DOI10.1305/ndjfl/1093890995zbMath0258.02034MaRDI QIDQ5921582
John T. Kearns
Publication date: 1973 Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1305/ndjfl/1093890995
Mathematics Subject Classification ID
03D99: Computability and recursion theory
03B40: Combinatory logic and lambda calculus