Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Articles_with_social..> | 2018-02-14 14:03 | - | ||
Bonn_talk.pdf | 2010-09-14 16:15 | 36K | PDF document file | |
Bonn_talk.tex | 2010-09-14 16:15 | 6.6K | TeX source file | |
Bonn_talk_coq.pdf | 2010-09-14 17:12 | 26K | PDF document file | |
CMU_talk.bbl | 2010-02-03 09:37 | 1.1K | TeX bibliography items -- bibtex output, latex input | |
CMU_talk.pdf | 2010-02-09 18:15 | 132K | PDF document file | |
CMU_talk.tex | 2010-02-09 18:15 | 25K | TeX source file | |
Foundations/ | 2018-02-14 13:55 | - | ||
Hlambda_short_curren..> | 2009-11-13 11:44 | 183K | PDF document file | |
Hlambda_short_curren..> | 2009-11-13 09:47 | 36K | TeX source file | |
Univalent_foundation..> | 2018-02-14 14:03 | - | ||
alggeom.bib | 2010-09-14 11:25 | 79K | TeX bibliography items -- bibtex input | |
bk1.pdf | 2010-02-14 20:01 | 71K | PDF document file | |
bk1.tex | 2010-02-14 20:01 | 8.8K | TeX source file | |
bk2.bbl | 2010-09-14 11:27 | 471 | TeX bibliography items -- bibtex output, latex input | |
bk2.pdf | 2010-09-14 11:27 | 42K | PDF document file | |
bk2.tex | 2010-09-14 11:27 | 4.4K | TeX source file | |
bonn_talk.v | 2010-09-14 17:13 | 5.4K | Coq proof file | |
expressions_current.pdf | 2010-08-24 09:06 | 374K | PDF document file | |
mitcv09_bibl.bbl | 2010-07-19 12:54 | 10K | TeX bibliography items -- bibtex output, latex input | |
mitcv09_bibl.pdf | 2010-07-19 12:54 | 71K | PDF document file | |
mitcv09_bibl.tex | 2010-02-09 14:43 | 3.5K | TeX source file | |
mitcv10.pdf | 2010-02-09 14:51 | 48K | PDF document file | |
mitcv10.tex | 2010-02-09 14:51 | 3.7K | TeX source file | |
univalent_foundation..> | 2015-04-02 13:33 | 234K | PDF document file | |