Numeration Models of λβ‐Calculus

DOI10.1002/MALQ.19860322506zbMath0623.03017OpenAlexW4236145808MaRDI 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-calculusnumeration models

Mathematics Subject Classification ID

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

Related Items (1)

Retracts of numerations

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