Classes of Numeration Models of λ‐Calculus

DOI10.1002/MALQ.19860321904zbMath0629.03005OpenAlexW2141050402MaRDI 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 \)-calculusnumeration model

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Classes of Numeration Models of λ‐Calculus