Steren, G., & Bonelli, E. (2014). Dos temas en reescritura: Combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de Pruebas. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Cita Chicago Style (17a ed.)Steren, Gabriela, y Eduardo Bonelli. Dos Temas En Reescritura: Combinadores Para Cálculos Con Patrones E Isomorfismo De Curry-Howard Para La Lógica De Pruebas. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2014.
Cita MLA (8a ed.)Steren, Gabriela, y Eduardo Bonelli. Dos Temas En Reescritura: Combinadores Para Cálculos Con Patrones E Isomorfismo De Curry-Howard Para La Lógica De Pruebas. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2014.
Precaución: Estas citas no son 100% exactas.