Dos temas en reescritura: combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de Pruebas

Main Author: Steren, Gabriela
Other Authors: Bonelli, Eduardo
Format: Tesis Doctoral
Language: Castellano
Published: Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales 2014-12-15
Subjects:
Online Access: http://hdl.handle.net/20.500.12110/tesis_n5634_Steren