Práctico 3 Ej 5.2 y Ej 6

Re: Práctico 3 Ej 5.2 y Ej 6

de Carlos Luna -
Número de respuestas: 0

Hola Gabriel

No es trampa! En este práctico el foco está puesto en las formalizaciones y los tipos; las pruebas son simples con las tácticas vistas, realizando esencialmente reducciones.

Saludos, Carlos