Metadata
Author: WikiMatrix
Data
English[en]
Scott's work of this period led to the bestowal of: The 1990 Harold Pender Award for his application of concepts from logic and algebra to the development of mathematical semantics of programming languages; The 1997 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 semantic paradigm to programming languages as well as to construct models of Curry's combinatory logic and Church's calculus of lambda conversion; and The 2001 Bolzano Prize for Merit in the Mathematical Sciences by the Czech Academy of Sciences The 2007 EATCS Award for his contribution to theoretical computer science.
Spanish[es]
Su trabajo durante esta época le hizo ganar: El Premio Harold Pender de 1990 por su for his aplicación de conceptos de lógica y álgebra al desarrollo de la semántica matemática de lenguajes de programación; El Premio Rolf Schock de 1997 en lógica y filosofía, por la Real Academia Sueca de las Ciencias por sus trabajos en lógica, especialmente la creación de la teoría de dominios, que ha hecho posible extender el paradigma semántico de Tarski a los lenguajes de programación, así como a los modelos de la lógica combinatoria de Curry, y el cálculo lambda de Church; y El Premio Bolzano de 2001 al Mérito en las Ciencias Matemáticas, por la Academia Checa de las Ciencias.