Universidad Nacional de Quilmes

Introducción a la Programación, curso 2007, segundo cuatrimestre

Introducción a la Programación, curso 2008, primer cuatrimestre

ITBA

Tipos para lenguajes de programación, curso 2007, segundo cuatrimestre

UBA

Seminario de Lógica, Tipos y Reescritura