[TYPES/announce] homotopy lambda calculus

[Vladimir Voevodsky]

I have recently produced a short note where I try to explain what  
homotopy lambda calculus is (or is supposed to be). Here it is:



-------------- next part --------------
A non-text attachment was scrubbed...
Name: 2006_09_Hlambda.pdf
Type: application/pdf
Size: 116584 bytes
Desc: not available
Url : http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20060929/c8464d57/2006_09_Hlambda.pdf
-------------- next part --------------


Vladimir (Voevodsky)