DOI10.1002/malq.19770230104zbMath0358.02026MaRDI QIDQ4133599
John T. Kearns
Publication date: 1977 Published in: Mathematical Logic Quarterly (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1002/malq.19770230104
Mathematics Subject Classification ID
03D99: Computability and recursion theory
03B40: Combinatory logic and lambda calculus