Continuous lattices. In Toposes, algebraic geometry and logic (1971)

by Dana S Scott
Venue:Lecture Notes in Math