Lambda Theories of Effective Lambda Models

DOI10.1007/978-3-540-74915-8_22zbMath1179.03020arXivmath/0701684OpenAlexW1495260436MaRDI QIDQ3608418

Giulio Manzonetto, Chantal Berline, Antonino Salibra

Publication date: 5 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0701684

zbMATH Keywords

lambda calculusgraph modelsLöwenheim-Skolem theoremeffective lambda modelsrecursively enumerable lambda theories

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (2)

On the completeness of order-theoretic models of the \(\lambda \)-calculus ⋮ Effective λ-models versus recursively enumerable λ-theories

This page was built for publication: Lambda Theories of Effective Lambda Models