Tesis doctoral de Felicidad Aguado Martin
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.
Datos académicos de la tesis doctoral «Construccion de algebras en computacion.«
- Título de la tesis: Construccion de algebras en computacion.
- Autor: Felicidad Aguado Martin
- Universidad: A coruña
- Fecha de lectura de la tesis: 01/01/1993
Dirección y tribunal
- Director de la tesis
- Freire Nistal José Luis
- Tribunal
- Presidente del tribunal: José Luis Maté Hernández
- Miguel Lopez Lopez (vocal)
- Juan Pazos Sierra (vocal)
- Manuel Ladra Gonzalez (vocal)