Continuous Lattices and Their Applications

This book contains articles on the notion of a continuous lattice, which has its roots in Dana Scott's work on a mathematical theory of computation, presented at a conference on categorical and topological aspects of continuous lattices held in 1982.