Reescritura, Cálculo Lambda y Substituciones Explícitas
Página de la materia: http://www-2.dc.uba.ar/materias/reescritura/
- Profesores:
- Alejandro Rios
- Jefes de Trabajos Prácticos:
-
- Ariel Arbiser
- Puntaje:
- grado: 3 / doctorado: 4
- Correlativas:
- Teoría De Lenguajes
Horarios:
Reunión para confirmar horario: Martes 16 de agosto a las 18:00, of 7 (2do piso) Pab I
