Graph models of $\lambda$-calculus at work, and variations

DOI10.1017/S0960129506005123zbMath1097.03011OpenAlexW2002382232MaRDI QIDQ5481589

Chantal Berline

Publication date: 10 August 2006

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129506005123

zbMATH Keywords

surveygraph modelsfunctional semantics\(\lambda\)-modelsequational extensions of untyped \(\lambda\)-calculus

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logical aspects of lattices and related structures (03G10) Combinatory logic and lambda calculus (03B40)

Related Items (4)

Easy lambda-terms are not always simple ⋮ Graph easy sets of mute lambda terms ⋮ Graph lambda theories ⋮ Effective λ-models versus recursively enumerable λ-theories

This page was built for publication: Graph models of $\lambda$-calculus at work, and variations