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