Index of /Voevodsky/files/files-annotated/Dropbox/Unfinished_papers/Type_systems/Notes_on_Type_Systems/Bsystems

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]2014_12_19_B_systems..>2016-04-12 14:44 273KPDF document file
[ ]2014_12_19_B_systems..>2014-12-19 08:03 49KTeX source file
[ ]2016_01_27_B_systems..>2016-04-12 14:45 283KPDF document file
[ ]2016_01_27_B_systems..>2016-01-27 06:52 56KTeX source file
[ ]2016_03_09_B_systems..>2018-03-21 08:36 339KPDF document file
[ ]2016_03_09_B_systems..>2016-03-09 05:23 85KTeX source file
[ ]2016_04_14_B_systems..>2018-03-21 08:37 403KPDF document file
[ ]2016_04_14_B_systems..>2016-04-14 09:18 121KTeX source file
[ ]BPisystems.pdf 2014-10-30 12:08 77KPDF document file
[ ]BPisystems.tex 2014-10-30 12:09 6.0KTeX source file
[ ]B_systems_current.bbl 2016-03-21 06:58 1.6KTeX bibliography items -- bibtex output, latex input
[ ]B_systems_current.pdf 2016-04-18 07:23 395KPDF document file
[ ]B_systems_current.tex 2016-04-18 07:23 101KTeX source file
[ ]Bpresheaves_current.pdf2016-11-18 08:41 242KPDF document file
[ ]Bpresheaves_current.tex2016-11-18 14:56 34KTeX source file