Construcción de álgebras en computación

  1. Aguado, Felicidad
unter der Leitung von:
  1. José Luis Freire Nistal (1943-) Doktorvater/Doktormutter

Universität der Verteidigung: Universidade da Coruña

Jahr der Verteidigung: 1993

Gericht:
  1. José Luis Maté Hernández Präsident/in
  2. José María Barja Pérez Sekretär/in
  3. Juan Pazos Sierra Vocal
  4. Miguel López López Vocal
  5. Manuel Ladra González Vocal

Art: Dissertation

Teseo: 41372 DIALNET

Zusammenfassung

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.