Su trabajo conjunto de ambos es el enfoque Scott-Strachey a la semántica denotativa, y constituye una de las piezas más influyentes en informática teórica, pudiendo quizás considerarse como la fundación de una de las mayores escuelas de ciencias de la computación.