Aproximando los escalares de un lambda-cálculo algebraico mediante cotas inferiores

El lambda-cálculo algebraico es un cálculo no tipado en el que se pueden realizar combinaciones lineales de términos, con aplicaciones a la computación probabilística, la computación paralela y la computación cuántica. La reducción en este cálculo está dada por un sistema de reescritura sujeto a var...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Buiras, Pablo
Otros Autores: Jaskelioff, Mauro
Formato: bachelorThesis tesis de grado publishedVersion
Lenguaje:Español
Publicado: Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario 2013
Materias:
cálculos algebraicos
escalares
sistemas de tipos
normalización
confluencia
Acceso en línea:http://hdl.handle.net/2133/2796
http://hdl.handle.net/2133/2796
Aporte de:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario
id I15-R121-2133-2796
record_format dspace
institution Universidad Nacional de Rosario
institution_str I-15
repository_str R-121
collection Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR)
language Español
orig_language_str_mv spa
topic cálculos algebraicos
escalares
sistemas de tipos
normalización
confluencia
spellingShingle cálculos algebraicos
escalares
sistemas de tipos
normalización
confluencia
Buiras, Pablo
Aproximando los escalares de un lambda-cálculo algebraico mediante cotas inferiores
topic_facet cálculos algebraicos
escalares
sistemas de tipos
normalización
confluencia
description El lambda-cálculo algebraico es un cálculo no tipado en el que se pueden realizar combinaciones lineales de términos, con aplicaciones a la computación probabilística, la computación paralela y la computación cuántica. La reducción en este cálculo está dada por un sistema de reescritura sujeto a varias restricciones que garantizan su confluencia. Existen varios sistemas de tipos para este cálculo, cada uno de los cuales representa un paso más en la dirección a un cálculo algebraico tipado general. En este trabajo, se presenta un sistema de tipos para el lambda-cálculo algebraico que se basa en la idea de aproximar los escalares que aparecen en los términos mediante cotas inferiores, reflejando esta información en los tipos. Se demuestra que este cálculo tiene subject reduction y normalización fuerte, y como corolario se obtiene una forma más sencilla de demostrar la confluencia del sistema de reescritura, eliminando las restricciones a la reducción de la versión no tipada.
author2 Jaskelioff, Mauro
author_facet Jaskelioff, Mauro
Buiras, Pablo
format bachelorThesis
tesis de grado
publishedVersion
author Buiras, Pablo
author_sort Buiras, Pablo
title Aproximando los escalares de un lambda-cálculo algebraico mediante cotas inferiores
title_short Aproximando los escalares de un lambda-cálculo algebraico mediante cotas inferiores
title_full Aproximando los escalares de un lambda-cálculo algebraico mediante cotas inferiores
title_fullStr Aproximando los escalares de un lambda-cálculo algebraico mediante cotas inferiores
title_full_unstemmed Aproximando los escalares de un lambda-cálculo algebraico mediante cotas inferiores
title_sort aproximando los escalares de un lambda-cálculo algebraico mediante cotas inferiores
publisher Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario
publishDate 2013
url http://hdl.handle.net/2133/2796
http://hdl.handle.net/2133/2796
work_keys_str_mv AT buiraspablo aproximandolosescalaresdeunlambdacalculoalgebraicomediantecotasinferiores
bdutipo_str Repositorios
_version_ 1764820413671538689

Ejemplares similares