Browsing Trabajos Especiales de Licenciatura en Ciencias de la Computación by Subject "Mathematical logic"

Now showing items 1-2 of 2

    • Estudio de semántica categórica para lenguajes Algol-Like 

      Gadea, Alejandro Emilio (2013-09)
      Este trabajo consiste en la definición y estudio de tres lenguajes de programación. Los dos primeros serán lenguajes funcionales, uno con un sistema de tipos simple y otro con un sistema de tipos que soporta subtipado. El ...

    • Optimización de la traducción funcional para lógicas modales 

      Díaz, Marcio Oscar (2013-08-09)
      En esta tesis estudiamos las traducciones funcionales que transforman fórmulas de lógica modal a lógica de primer orden con sorts. En trabajos previos se mostró que remover las anotaciones de sorts de las traducciones ...