The approximation theorem for the Λμ-calculus
From MaRDI portal
Publication:5268997
DOI10.1017/S0960129515000286zbMath1423.03052MaRDI QIDQ5268997
Publication date: 14 June 2017
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
03B40: Combinatory logic and lambda calculus