Mathematical Theory of Domains

La teoría de dominios es una parte establecida de la informática teórica que se utiliza para dar semántica a los lenguajes de programación y las lógicas. En matemáticas y lógica también ha demostrado ser útil en el estudio de algoritmos. Este libro está dedicado a proporcionar un tratamiento unificado e independiente del tema. La teoría se presenta de una manera matemáticamente precisa que, sin embargo, es accesible tanto para los matemáticos como para los informáticos. Los autores comienzan con la teoría básica, incluyendo ecuaciones de dominio, varias representaciones de dominio y dominios universales. A continuación, pasan a temas más especializados, como los modelos de dominio efectivo y de potencia del cálculo lambda, etc. En particular, se precisan las conexiones con espacios ultramétricos y las funciones continuas de KleeneâKreisel. En consecuencia, el texto será útil como libro de texto introductorio (las versiones anteriores han sido probadas en clase en Uppsala, Gotemburgo, Passau, Múnich y Swansea) o como referencia general para los profesionales de la informática y la lógica. Idioma: Inglés