Martín Abad, Alexis. (2025). "Pure Pattern Calculus à la de Bruijn". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Facultad de Ciencias Exactas y Naturales - Universidad de Buenos Aires - Argentina
Intendente Güiraldes 2160 - Ciudad Universitaria - C1428EGA - Tel. (54 11) 5285-8274
