Construcción de álgebras en computación

  1. Aguado, Felicidad
Dirixida por:
  1. José Luis Freire Nistal Director

Universidade de defensa: Universidade da Coruña

Ano 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 Vogal
  4. Miguel López López Vogal
  5. Manuel Ladra González Vogal

Tipo: Tese

Teseo: 41372 DIALNET

Resumo

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.