Lambda Theories of Effective Lambda Models

Autor: Chantal Berline, Antonino Salibra, Giulio Manzonetto

Publikováno v: Computer Science Logic ISBN: 9783540749141
CSL
CSL'07, 16th EACSL Annual Conference on Computer Science and Logic
CSL'07, 16th EACSL Annual Conference on Computer Science and Logic, Sep 2007, Lausanne, Switzerland. pp.268-282, ⟨10.1007/978-3-540-74915-8⟩
Scopus-Elsevier

A longstanding open problem is whether there exists a non-syntactical model of untyped lambda-calculus whose theory is exactly the least equational lambda-theory (=Lb). In this paper we make use of the Visser topology for investigating the more gener

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cab176fa2fa41ed8c12fe8fa849493de
https://doi.org/10.1007/978-3-540-74915-8_22

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

Autor: Chantal Berline

Publikováno v: Mathematical Structures in Computer Science
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2006, 16, pp.185-221. ⟨10.1017/S0960129506005123⟩

This paper surveys what we have learned during the last ten years about the lattice $\lambda \mathcal{T}$ of all $\lambda$-theories (= equational extensions of untyped $\lambda$-calculus), via the sets $\lambda \mathcal{C}$ consisting of the $\lambda

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::916f09aa18ce50055045e2dabc01d8c9
https://doi.org/10.1017/s0960129506005123