Lista de

CALCULOS DE PATRONES
2
Martín Abad, Alexis. (2025). "Pure Pattern Calculus à la de Bruijn". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.
Edi, Juan Ignacio. (2015). "Chequeo de tipos eficiente para Path Polymorphism". Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.