Advertisement

Filter λΔ-Models and Domains

  • Simona Ronchi Della Rocca
  • Luca Paolini
Part of the Texts in Theoretical Computer Science book series (TTCS)

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.

Keywords

Step Function Complete Lattice Inverse Limit Filter Model Interpretation Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2004

Authors and Affiliations

  • Simona Ronchi Della Rocca
    • 1
  • Luca Paolini
    • 1
  1. 1.Dipartimento di InformaticaUniversità di TorinoTorinoItaly

Personalised recommendations