-
Presentaciones 28 Dec 202228/12/22 at 12:252022-12-28 12:25:28
Éric Tanter
-
workshop de cierre 2 Dec 202202/12/22 at 18:152022-12-02 18:15:02
Éric Tanter
-
Extending a Type Theory with Rewrite Rules 2 Dec 202202/12/22 at 13:352022-12-02 13:35:02
Stefan Malewski
-
programa 1 Dec 202201/12/22 at 14:032022-12-01 14:03:01
Éric Tanter
-
Semana 12 1 Dec 202201/12/22 at 10:302022-12-01 10:30:01
Tomás Díaz T.
-
Semana 11 1 Dec 202201/12/22 at 10:222022-12-01 10:22:01
Tomás Díaz T.
-
Semana 10 1 Dec 202201/12/22 at 10:182022-12-01 10:18:01
Tomás Díaz T.
-
Re (1): Información workshop, presentaciones + formato 28 Nov 202228/11/22 at 10:212022-11-28 10:21:28
Tomás Díaz T.
-
Información workshop, presentaciones + formato 24 Nov 202224/11/22 at 13:472022-11-24 13:47:24
Tomás Díaz T.
-
dtp2.zip 18 Nov 202218/11/22 at 12:372022-11-18 12:37:18
Éric Tanter
-
Semana 9 17 Nov 202217/11/22 at 21:002022-11-17 21:00:17
Tomás Díaz T.
-
Fin ejercicios 17 Nov 202217/11/22 at 20:482022-11-17 20:48:17
Tomás Díaz T.
-
Semana 12 (Fecha entrega: 17/11/2022) 11 Nov 202211/11/22 at 14:562022-11-11 14:56:11
Tomás Díaz T.
-
Semana 12 (Fecha entrega: 17/11/2022) 11 Nov 202211/11/22 at 14:352022-11-11 14:35:11
Tomás Díaz T.
-
dtp.v 11 Nov 202211/11/22 at 09:192022-11-11 09:19:11
Éric Tanter
-
dtp.v 11 Nov 202211/11/22 at 09:182022-11-11 09:18:11
Éric Tanter
-
Re (1): Actividad cierre semestre 8 Nov 202208/11/22 at 14:312022-11-08 14:31:08
Tomás Díaz T.
-
Semana 11 (Fecha entrega: 10/11/2022) 4 Nov 202204/11/22 at 10:042022-11-04 10:04:04
Tomás Díaz T.
-
Formulario actividad fin de semestre 4 Nov 202204/11/22 at 10:032022-11-04 10:03:04
Tomás Díaz T.
-
Actividad cierre semestre 4 Nov 202204/11/22 at 10:022022-11-04 10:02:04
Tomás Díaz T.
-
Re (2): Ejercicios semana 11 28 Oct 202228/10/22 at 15:002022-10-28 15:00:28
Tomás Díaz T.
-
Re (1): Ejercicios semana 11 28 Oct 202228/10/22 at 14:192022-10-28 14:19:28
Ismael Correa A.
-
Ejercicios semana 11 28 Oct 202228/10/22 at 13:412022-10-28 13:41:28
Tomás Díaz T.
-
Semana 8 24 Oct 202224/10/22 at 10:572022-10-24 10:57:24
Tomás Díaz T.
-
Semana 5 24 Oct 202224/10/22 at 10:262022-10-24 10:26:24
Tomás Díaz T.