Abstract
There is an analogy between λΔ-filter models and λΔ-models that are ω-algebraic lattices, which was first noticed in [28] and further developed in [1] and [3]. This analogy lies in the fact that type symbols in a λΔ-filter model play the role of names for compact elements in the corresponding ω-algebraic lattice. It is out of the aim of this book to give a complete survey of the λΔ-models based on ω-algebraic lattices. In case where Δ = Λ, there are some textbooks giving a complete development of this topic, e.g. [5, 81, 87]. Here we will just give some basic informations in order to assure readability to those readers who are not expert in this topic, without developing the proofs for standard properties.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Rocca, S.R.D., Paolini, L. (2004). Filter λΔ-Models and Domains. In: The Parametric Lambda Calculus. Texts in Theoretical Computer Science. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-10394-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-662-10394-4_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-05746-5
Online ISBN: 978-3-662-10394-4
eBook Packages: Springer Book Archive