Metadata
Author: WikiMatrix
Data
English[en]
One of Scott's contributions is his formulation of domain theory, allowing programs involving recursive functions and looping-control constructs to be given denotational semantics.
Spanish[es]
Una de las mayores contribuciones de Scott es su teoría de dominios, que dota a los programas con funciones recursivas y estructuras de control de bucles de semántica denotativa.