Dana S Scott

Rolf Schock Prize - Logic and Philosophy 1997


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 languagesas well as to construct models of Curry´s combinatory logic and Church´s calculus of lambda conversion.

Press release