Metadata
Author: WikiMatrix
Data
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.
Galician[gl]
O seu traballo nesta época fíxoo gañador de: O Premio Harold Pender de 1990 pola súa aplicación de conceptos de lóxica e álxebra ao desenvolvemento da semántica matemática de linguaxes de programación; O Premio Rolf Schock de 1997 en lóxica e filosofía, pola Real Academia Sueca das Ciencias polos seus traballos en lóxica, especialmente a creación da teoría de dominios, que fixo posible estender o paradigma semántico de Tarski aos linguaxes de programación, así como aos modelos da lóxica combinatoria de Curry e o cálculo lambda de Church; O Premio Bolzano de 2001 ó Mérito nas Ciencias Matemáticas, pola Academia Checa das Ciencias.