DOI10.1002/malq.19860322506zbMath0623.03017MaRDI QIDQ3760511
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.19860322506
zbMATH Keywords
lambda-beta-calculus; numeration models
Mathematics Subject Classification ID
03C65: Models of other mathematical theories
03B40: Combinatory logic and lambda calculus
Related Items