Lambda-calculus, types and models
Lambda-calculus, types and models
Set-theoretical and other elementary models of the &lgr;-calculus
Theoretical Computer Science - A collection of contributions in honour of Corrado Bo¨hm on the occasion of his 70th birthday
Journal of Computer and System Sciences
Information and Computation
Theoretical Computer Science - Modern algebra and its applications
On the algebraic models of Lambda calculus
Theoretical Computer Science - Modern algebra and its applications
Uncountable limits and the lambda calculus
Nordic Journal of Computing
Full Abstraction and the Context Lemma
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Stable Models of Typed lambda-Calculi
Proceedings of the Fifth Colloquium on Automata, Languages and Programming
ICTCS '01 Proceedings of the 7th Italian Conference on Theoretical Computer Science
Topological incompleteness and order incompleteness of the lambda calculus
ACM Transactions on Computational Logic (TOCL)
Order-Incompleteness and Finite Lambda Models, Extended Abstract
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A Continuum of Theories of Lambda Calculus without Semantics
LICS '01 Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science
Order-incompleteness and finite Lambda reduction models
Theoretical Computer Science
Intersection types and domain operators
Theoretical Computer Science - Logic, semantics and theory of programming
The Sensible Graph Theories of Lambda Calculus
LICS '04 Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science
The Lattice of Lambda Theories
Journal of Logic and Computation
Theoretical Computer Science - Algebraic methods in language processing
Fundamenta Informaticae - Typed Lambda Calculi and Applications (TLCA'99)
Marginalia to a Theorem of Jacopini
Fundamenta Informaticae - Typed Lambda Calculi and Applications (TLCA'99)
Nonmodularity Results for Lambda Calculus
Fundamenta Informaticae
From λ-Calculus to Universal Algebra and Back
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
Effective λ-models versus recursively enumerable λ-theories
Mathematical Structures in Computer Science
Lambda theories of effective lambda models
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Hi-index | 0.00 |
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$-theories that are representable in a uniform class $\mathcal{C}$ of $\lambda$-models. This includes positive answers to several questions raised in Berline (2000), as well as several independent results, the state of the art on the long-standing open questions concerning the representability of $\lambda _{\beta},\lambda _{\beta\eta}$, $H$ as theories of models, and 22 open problems.We will focus on the class $\mathcal{G}$ of graph models, since almost all the existing semantic proofs on $\lambda \mathcal{T}$ have been, or could be, more easily, obtained via graph models, or slight variations of them. But in this paper we will also give some evidence that, for all uniform classes $\mathcal{C},\mathcal{C}^{\prime}$ of proper $\lambda$-models living in functional semantics, $\lambda \mathcal{C}-\lambda \mathcal{C}^{\prime}$ should have cardinality $2^{\omega }$, provided $ \mathcal{C}$ is not included in $\mathcal{C}^{\prime}.$