Index of /Voevodsky/files/files-annotated/Dropbox/Unfinished_papers/Type_systems/Notes_on_Type_Systems/2017_LC_Martin-Lof_special_session

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]ASLabstracttemplate.pdf2017-06-01 06:23 25KPDF document file
[ ]ASLabstracttemplate.tex2017-06-01 06:26 3.3KTeX source file
[TXT]BSL_extended_abstrac..>2017-05-29 11:38 8.5KTeX bibliography items -- bibtex output, latex input
[ ]BSL_extended_abstrac..>2017-05-29 13:00 417KPDF document file
[ ]BSL_extended_abstrac..>2017-05-29 13:00 56KTeX source file
[ ]BSL_short_abstract.pdf 2017-06-01 06:19 84KPDF document file
[ ]BSL_short_abstract.tex 2017-06-01 06:19 5.4KTeX source file
[ ]Voevodsky.pdf 2017-06-01 06:30 49KPDF document file
[ ]Voevodsky.tex 2017-06-01 06:30 4.3KTeX source file
[TXT]asl.cls 2017-05-31 14:52 200K