Continuous and completely distributive lattices
Document Type
Article
Publication Date
3-1-2014
Abstract
The study of continuous lattices was initiated by Dana Scott in the late 1960s in order to build mathematical models for certain constructs in theoretical computer science ([638] in LTF), and computational notions and motivations have continued to play a key role in the theory. Early successes included construction of a denotational semantics for certain programming languages where programs were semantically interpreted as functions between appropriate input and output domains (see, e.g., [271]) and construction of a specific domain of computation that provided a model for the untyped lambda calculus (see, [639] in LTF), no concrete model of the untyped lambda calculus having hitherto been given.
Publication Source (Journal or Book title)
Lattice Theory
First Page
5
Last Page
53
Recommended Citation
Keimel, K., & Lawson, J. (2014). Continuous and completely distributive lattices. Lattice Theory, 1, 5-53. https://doi.org/10.1007/978-3-319-06413-0_1