Construcción de álgebras en computación

• Autores: Felicidad Aguado
• Directores de la Tesis: José Luis Freire Nistal (dir. tes.)
• Lectura: En la Universidade da Coruña ( España ) en 1993
• Idioma: español
• Tribunal Calificador de la Tesis: José Luis Maté Hernández (presid.) , José María Barja Pérez (secret.) , Juan Pazos Sierra (voc.) , Miguel López López (voc.) , Manuel Ladra González (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

  • EN LA MEMORIA SE REALIZA UN DESARROLLO COMPLETO DE LA TEORIA DE CONSTRUCCION DE ALGEBRAS, ESTUDIANDOSE LAS DISTINTAS DUALIZACIONES DENTRO DE LA 2-CATEGORIA DE CATEGORIAS, FUNTORES Y TRANSFORMACIONES NATURALES, SE DETALLAN LAS APLICACIONES EN PROGRAMACION FUNCIONAL Y EN LOGICA DE LA TEORIA DE ALGEBRAS, QUE PERMITEN IMPLEMENTACIONES SIN TENER QUE REFERIRSE A LA ESTRUCTURA INTERNA DE LOS OBJETOS.