Construcción de álgebras en computación

  1. Aguado, Felicidad
Dirigida por:
  1. José Luis Freire Nistal Director/a

Universidad de defensa: Universidade da Coruña

Año de defensa: 1993

Tribunal:
  1. José Luis Maté Hernández Presidente/a
  2. José María Barja Pérez Secretario/a
  3. Juan Pazos Sierra Vocal
  4. Miguel López López Vocal
  5. Manuel Ladra González Vocal

Tipo: Tesis

Teseo: 41372 DIALNET

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.