├── README.md └── homotopy_lambda_calculus_Mar_5_2006.pdf /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UniMath/2006_03_Homotopy_lambda_calculus/HEAD/README.md -------------------------------------------------------------------------------- /homotopy_lambda_calculus_Mar_5_2006.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/UniMath/2006_03_Homotopy_lambda_calculus/HEAD/homotopy_lambda_calculus_Mar_5_2006.pdf --------------------------------------------------------------------------------