| Τύπος | Aρχείο  | Μέγεθος | Ημερομηνία | |
|---|---|---|---|---|
| 2020-11-02.pdf | 508.82 KB | 2/11/20 | ||
| 2020-11-04.pdf | 374.37 KB | 4/11/20 | ||
| 2020-11-07.pdf | 537.91 KB | 7/11/20 | ||
| 2020-11-09.pdf | 545.7 KB | 9/11/20 | ||
| 2020-11-10.pdf | 549.59 KB | 10/11/20 | ||
| 2020-11-16.pdf | 579 KB | 16/11/20 | ||
| 2020-11-28.pdf | 628.41 KB | 28/11/20 | ||
| 2020-11-29.pdf | 628.11 KB | 29/11/20 | ||
| 2020-12-09.pdf | 660.06 KB | 9/12/20 | ||
| 2020-12-24.pdf | 683.99 KB | 24/12/20 | ||
| 2021-01-16.pdf | 711.22 KB | 16/1/21 | ||
| 2021-01-21.pdf | 718.98 KB | 21/1/21 | ||
| Univalence implies function extensionality Διαφάνειες | 1005.2 KB | 20/2/21 | ||
| Διατακτικοί αριθμοί και κλασικές καλές διατάξεις Διαφάνειες | 394.45 KB | 14/2/21 | ||
| Θεώρημα Diaconescu Διαφάνειες | 239.03 KB | 14/2/21 | ||
| Θεωρία κατηγοριών στην ομοτοπική θεωρία τύπων Διαφάνειες | 84.48 KB | 23/2/21 | ||
| Κανονικοποίηση για τη θεωρία τύπων Διαφάνειες | 437.12 KB | 16/3/21 | ||
| Πληθικοί αριθμοί Διαφάνειες | 252.51 KB | 14/2/21 |
