• Título:  CONSTRUCCION DE ALGEBRAS EN COMPUTACION.
• Autor:  AGUADO MARTIN, FELICIDAD
• Universidad:  Universidad de A Coruña
• Fecha de Lectura:  01/01/1993
• Programa de doctorado:  DESCONOCIDO
• Dirección: 
  • FREIRE NISTAL JOSE LUIS (DIRECTOR)
• Tribunal: 
  • Maté Hernández, José Luis  (PRESIDENTE)
  • BARJA PEREZ JOSE MARIA (SECRETARIO)
  • LÓPEZ LOPEZ, MIGUEL (VOCAL)
  • Pazos Sierra, Juan (VOCAL)
  • LADRA GONZALEZ, MANUEL (VOCAL)
• Descriptores: 
  • MATEMATICAS
  • ALGEBRA
  • INFORMATICA
  • CIENCIA DE LOS ORDENADORES
  • TEORIA DE CATEGORIAS
• 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.