Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
2015_01_09_Lawvere_a..> | 2016-01-09 16:16 | 298K | PDF document file | |
2015_01_09_Lawvere_a..> | 2016-01-09 16:15 | 57K | TeX source file | |
Lawvere_and_relative..> | 2016-01-09 09:42 | 1.5K | TeX bibliography items -- bibtex output, latex input | |