Voevodsky's 2006 paper on homotopy lambda calculus
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
README.md
homotopy_lambda_calculus_Mar_5_2006.pdf

README.md

2006_03_Homotopy_lambda_calculus

This is the pdf file of the notes on homotopy lambda calculus that I have written in 2006. The date on the original tex file is Mar 5 2006.