Presentación del grupo 7044 - 2011-2.

La teoría de dominios es un rama de las matemáticas que estudia una

clase particular de conjuntos parcialmente ordenados, llamados

dominios. Esta teoría, que formaliza las ideas intuitivas de aproximación y

convergencia de una forma muy general, cuenta con diversas aplicaciones en las ciencias

de la computación donde se usa para especificar semánticas denotacionales

de lenguajes de programación.

El objetivo de este curso es discutir los conceptos y herramientas de la

teoría de los dominios requeridos en el estudio de los lenguajes de

programación, en particular con respecto a los modelos de tipos recursivos.

Para ir a la página del curso picar aquí