Título : Dos temas en reescritura: combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de Pruebas
Two topics in rewriting: combinators for pattern calculi and Curry-Howard for the Logic of Proofs
Editorial : Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires
Fecha de publicación : 15-dic-2014
metadata.dc.source.uri: http://digital.bl.fcen.uba.ar/gsdl-282/cgi-bin/library.cgi?a=d&c=tesis&d=Tesis_5634_Steren
URI : http://10.0.0.11:8080/jspui/handle/bnmm/75149
Aparece en las colecciones: FCEN - Facultad de Ciencias Exactas y Naturales. UBA

Ficheros en este ítem:
No hay ficheros asociados a este ítem.