His paper "Domain theory in Logical Form" won the LiCS Test-of-Time award (a 20-year retrospective) for 1987.
The Big Bang Theory | public domain | Domain Name System | Theory of a Deadman | music theory | protein domain | probability theory | theory | Theory of relativity | theory of relativity | Social learning theory | Game Theory (band) | Game Theory | eminent domain | Conspiracy theory | Music theory | K-theory | AP Music Theory | Satsuma Domain | Piaget's theory of cognitive development | Eminent domain | domain name | conspiracy theory | Chōshū Domain | Theory of Relativity | Theory | Terror management theory | Invariant theory | information theory | graph theory |
The second generalisation, created with Viggo Stoltenberg-Hansen, focuses on implementing data types using approximations contained in the ordered structures of domain theory.
Viggo is the main author of the textbook "Mathematical Theory of Domains", Cambridge University Press, 1994 (coauthored by I. Lindström and E. Griffor), and also of a set of Marktoberdorf summer school lecture notes on domain theory.