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

Assure 

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