Delta- Tipos
Aquí está la prueba de que Delta-tipos con Delta finito son equivalentes a phi-tipos. Cualquier observación y correcciones son bienvenidas.
Ah, y un ejercicio:
Ah, y un ejercicio:
un blog de clase para el Seminario Avanzado de Lógica, en la Universidad Nacional de Colombia I - 2005 Horario: lunes 16-18.
1 Comentarios:
¡¡¡Gracias por armar bien esa prueba!!! Mirando por encima parece que está bien.
Aún les debo mis notas de la exposición de R. Benjumea.
Post a Comment
<< Home