Rolf Schock Prize - Logic and philosophy 1997

Citation
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.