Título: Semántica denotacional para un cálculo-λ relacional Director: Pablo Barenbaum Jurado: Alejandro Díaz-Caro y Hernán Melgratti Resumen: En esta tesis trabajamos con el cálculo-λU, una extensión del cálculo-λ que incorpora las características fundamentales de la programación relacional: alternativa no determinística, secuenciación explícita, unificación de primer orden e introducción de [...]