Construcción de álgebras en computación

  1. Aguado, Felicidad
Supervised by:
  1. José Luis Freire Nistal Director

Defence university: Universidade da Coruña

Year of defence: 1993

Committee:
  1. José Luis Maté Hernández Chair
  2. José María Barja Pérez Secretary
  3. Juan Pazos Sierra Committee member
  4. Miguel López López Committee member
  5. Manuel Ladra González Committee member

Type: Thesis

Teseo: 41372 DIALNET

Abstract

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.