Cita APA

Steren, G. (2014). Dos temas en reescritura: Combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de Pruebas. Web

Citación estilo Chicago

Steren, Gabriela. Dos Temas En Reescritura: Combinadores Para Cálculos Con Patrones E Isomorfismo De Curry-Howard Para La Lógica De Pruebas. 2014.

Cita MLA

Steren, Gabriela. Dos Temas En Reescritura: Combinadores Para Cálculos Con Patrones E Isomorfismo De Curry-Howard Para La Lógica De Pruebas. 2014.