Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
2006_09_Hlambda.pdf | 2010-02-09 15:13 | 110K | PDF document file | |
2006_09_Hlambda.tex | 2006-10-03 09:32 | 18K | TeX source file | |
2006_09_Hlambda1.pdf | 2006-09-27 15:03 | 118K | PDF document file | |
2006_09_Hlambda1.tex | 2006-09-25 14:05 | 20K | TeX source file | |
2006_09_Hlambda2.tex | 2006-09-27 15:10 | 12K | TeX source file | |
2006_09_Hlambda3_pos..> | 2007-05-17 16:12 | 114K | PDF document file | |
2006_09_Hlambda3_pos..> | 2006-10-02 23:03 | 19K | TeX source file | |
2009_10_16_expressio..> | 2009-10-16 16:38 | 40K | TeX source file | |
2009_10_17_expressio..> | 2009-10-17 12:14 | 42K | TeX source file | |
2009_11_24_expressio..> | 2009-11-24 08:26 | 73K | TeX source file | |
2009_11_30_expressio..> | 2009-11-30 11:40 | 87K | TeX source file | |
2009_12_27_expressio..> | 2015-05-27 05:07 | 366K | PDF document file | |
2009_12_27_expressio..> | 2009-12-27 16:55 | 119K | TeX source file | |
2010_08_23_expressio..> | 2010-08-23 17:19 | 164K | TeX source file | |
2010_1_19_expression..> | 2010-01-19 11:24 | 141K | TeX source file | |
2010_1_25_expression..> | 2010-01-25 15:07 | 147K | TeX source file | |
2010_2_7_expressions..> | 2010-02-07 16:37 | 145K | TeX source file | |
Hlambda_short_1.tex | 2006-09-23 17:37 | 9.6K | TeX source file | |
Hlambda_short_curren..> | 2009-11-13 11:44 | 183K | PDF document file | |
Whiteboard_notes/ | 2018-02-14 13:55 | - | ||
alggeom.bib | 2010-02-09 14:46 | 79K | TeX bibliography items -- bibtex input | |
expressions_current.bbl | 2010-08-07 09:21 | 1.8K | TeX bibliography items -- bibtex output, latex input | |
expressions_current.pdf | 2010-09-23 07:15 | 460K | PDF document file | |
expressions_current.tex | 2010-08-24 09:05 | 164K | TeX source file | |
homotopy_lambda_calc..> | 2009-10-01 17:32 | 384K | PDF document file | |
homotopy_lambda_calc..> | 2009-09-08 09:30 | 201K | TeX source file | |
inconsistency_curren..> | 2010-08-06 10:32 | 36K | PDF document file | |
inconsistency_curren..> | 2010-08-06 10:32 | 5.2K | TeX source file | |
letter_to_grayson.rtf | 2009-01-10 11:43 | 8.8K | ||