DOI10.1002/malq.19860321904zbMath0629.03005MaRDI QIDQ3765743
Akira Kanda
Publication date: 1986 Published in: Mathematical Logic Quarterly (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1002/malq.19860321904
zbMATH Keywords
fixed points; \(\lambda \)-calculus; numeration model
Mathematics Subject Classification ID
03C65: Models of other mathematical theories
03B40: Combinatory logic and lambda calculus