M. Mislove

• Continuous lattices and domains
• A Compendium of Continuous Lattices
• Mathematical Foundations of Programming Language Semantics
• Pontryagin Duality of Compact o-Dimensional Semilattices and Its Applications