![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 2014_07_for_next_pap..> | 2015-07-27 14:51 | 141K | PDF document file |
| 2014_07_for_next_pap..> | 2015-07-27 14:51 | 6.8K | TeX source file |
| 2016_03_06_to_Lelay.pdf | 2016-03-15 09:51 | 111K | PDF document file |
| 2016_03_06_to_Lelay.tex | 2016-03-15 09:51 | 11K | TeX source file |
| 2017_LC_Martin-Lof_s..> | 2018-02-14 14:03 | - | |
| Bsystems/ | 2018-03-21 08:37 | - | |
| From_a_univ_with_Pi/ | 2018-03-21 09:54 | - | |
| From_a_univ_with_paths/ | 2018-02-14 14:03 | - | |
| From_a_univ_with_sums/ | 2018-02-14 14:03 | - | |
| Lawvere_and/ | 2018-02-14 14:03 | - | |
| Old notes on type sy..> | 2018-02-14 14:03 | - | |
| On natural models/ | 2018-02-14 14:03 | - | |
| Relative_monads_and_..> | 2016-01-05 14:32 | 73K | TeX source file |
| Type categories, C-s..> | 2018-02-14 14:03 | - | |
| notes on (infty,1)-c..> | 2018-02-14 14:03 | - | |
| notes on Garner comb..> | 2018-02-14 14:03 | - | |
| proving_categorical_..> | 2016-07-06 10:53 | 4.9K | TeX source file |
| tac.cls | 2015-08-10 15:17 | 25K | |
| unused.tex | 2016-10-18 11:18 | 1.0K | TeX source file |
| unused_2.tex | 2016-11-14 18:29 | 649 | TeX source file |