Defensa Tesis Licenciatura Alexis Martín Abad

Aula 1113

Título: Pure Pattern Calculus à la de Bruijn Director: Andrés Ezequiel Viso Co-director: Alejandro Ríos Jurados:    Pablo Barenbaum (Universidad de Buenos Aires)    Hernán Melgratti (Universidad de Buenos Aires) Resumen: Es bien conocido en el estudio de lenguajes de programación que lidiar con ligadores y nombres de variables puede ocasionar conflictos como ser [...]