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

Ejemplares similares

Ejemplares similares