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, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.