Dana Scott was awarded the Rolf Schock Prize in Logic and Philosophy from the Royal Swedish Academy of Sciences "for his conceptually oriented logical works, especially the creation of domain theory, which has made it possible to extend Tarski's semantical paradigm to programmering languages as well as to construct models of Curry's combinatory logic and Church's calculus of lambda conversion."[1]
