Index of /Voevodsky/files/files-annotated/Dropbox/Unfinished_papers/Dynamic_logic/Stage_9_2012_09_01

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]2006_09_Hlambda.pdf 2010-02-09 15:13 110KPDF document file
[ ]2006_09_Hlambda.tex 2006-10-03 09:32 18KTeX source file
[ ]2006_09_Hlambda1.pdf 2006-09-27 15:03 118KPDF document file
[ ]2006_09_Hlambda1.tex 2006-09-25 14:05 20KTeX source file
[ ]2006_09_Hlambda2.tex 2006-09-27 15:10 12KTeX source file
[ ]2006_09_Hlambda3_pos..>2007-05-17 16:12 114KPDF document file
[ ]2006_09_Hlambda3_pos..>2006-10-02 23:03 19KTeX source file
[ ]2009_10_16_expressio..>2009-10-16 16:38 40KTeX source file
[ ]2009_10_17_expressio..>2009-10-17 12:14 42KTeX source file
[DIR]2009_11_13_Munich_le..>2018-02-14 13:55 -  
[ ]2009_11_24_expressio..>2009-11-24 08:26 73KTeX source file
[ ]2009_11_30_expressio..>2009-11-30 11:40 87KTeX source file
[ ]2009_12_27_expressio..>2009-12-27 16:55 119KTeX source file
[ ]2010_08_23_expressio..>2010-08-23 17:19 164KTeX source file
[ ]2010_08_24_expressio..>2012-07-20 07:44 264KPDF document file
[ ]2010_08_24_expressio..>2010-08-24 09:05 164KTeX source file
[ ]2010_1_19_expression..>2010-01-19 11:24 141KTeX source file
[ ]2010_1_25_expression..>2010-01-25 15:07 147KTeX source file
[ ]2010_2_7_expressions..>2010-02-07 16:37 145KTeX source file
[ ]2011_12_13_expressio..>2012-07-20 07:41 265KPDF document file
[ ]2011_12_13_expressio..>2012-07-20 07:23 165KTeX source file
[ ]2012_01_26 Universe ..>2012-01-25 13:48 30KTeX source file
[ ]2012_01_27 Universe ..>2012-01-27 09:30 31KTeX source file
[ ]2012_02_01 Universe ..>2012-02-01 11:31 34KTeX source file
[ ]2012_03_26_Universe ..>2012-03-28 10:12 82KTeX source file
[ ]2012_06_29_Universe ..>2012-06-29 15:55 160KTeX source file
[ ]2012_07_14_Universe ..>2012-07-14 07:09 173KTeX source file
[ ]2012_08_17_Universe ..>2012-08-17 13:11 187KTeX source file
[ ]Hlambda_short_1.tex 2006-09-23 17:37 9.6KTeX source file
[ ]Hlambda_short_curren..>2009-11-13 11:44 183KPDF document file
[ ]TS0_current.bbl 2011-06-17 08:31 315 TeX bibliography items -- bibtex output, latex input
[ ]TS0_current.pdf 2011-06-17 08:32 116KPDF document file
[ ]TS0_current.tex 2011-06-17 08:32 8.6KTeX source file
[TXT]Universe polymorphic..>2012-04-11 16:07 797 TeX bibliography items -- bibtex output, latex input
[ ]Universe polymorphic..>2012-09-01 11:28 273KPDF document file
[ ]Universe polymorphic..>2012-09-01 11:28 202KTeX source file
[DIR]Whiteboard_notes/ 2018-02-14 13:55 -  
[TXT]abstract_types_curre..>2011-06-18 09:38 606 TeX bibliography items -- bibtex output, latex input
[ ]abstract_types_curre..>2011-06-20 15:49 134KPDF document file
[ ]abstract_types_curre..>2011-06-20 15:49 15KTeX source file
[ ]alggeom.bib 2012-04-11 16:06 81KTeX bibliography items -- bibtex input
[TXT]expressions_current.bbl2012-07-23 07:03 1.9KTeX bibliography items -- bibtex output, latex input
[ ]expressions_current.pdf2012-09-01 11:32 284KPDF document file
[ ]expressions_current.tex2012-07-27 15:26 180KTeX source file
[ ]homotopy_lambda_calc..>2009-10-01 17:32 384KPDF document file
[ ]homotopy_lambda_calc..>2009-09-08 09:30 201KTeX source file
[ ]inconsistency_curren..>2010-08-06 10:32 36KPDF document file
[ ]inconsistency_curren..>2010-08-06 10:32 5.2KTeX source file
[ ]letter_to_grayson.rtf 2009-01-10 11:43 8.8K 
[ ]proposal for univers..>2012-01-25 13:48 55KPDF document file
[ ]proposal for univers..>2012-01-25 10:47 30KTeX source file
[ ]univalent_model.pdf 2011-06-16 18:15 111KPDF document file
[ ]univalent_model.tex 2011-06-16 18:15 6.6KTeX source file