Graph models of $\lambda$-calculus at work, and variations
From MaRDI portal
Publication:5481589
DOI10.1017/S0960129506005123zbMath1097.03011MaRDI QIDQ5481589
Publication date: 10 August 2006
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
survey; graph models; functional semantics; \(\lambda\)-models; equational extensions of untyped \(\lambda\)-calculus
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03G10: Logical aspects of lattices and related structures
03B40: Combinatory logic and lambda calculus
Related Items
Graph easy sets of mute lambda terms, Easy lambda-terms are not always simple, Graph lambda theories, Effective λ-models versus recursively enumerable λ-theories