Una de las mayores contribuciones de Scott es su teoría de dominios, que dota a los programas con funciones recursivas y estructuras de control de bucles de semántica denotativa.