Tesis Doctoral

Steren, Gabriela. "Dos temas en reescritura: combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de Pruebas" . (2014). Tesis Doctoral, Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires.