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
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