ホモトピーラムダ計算はどうしたのかなあ

ヴｫエヴォドスキーのホモトピーラムダ計算の資料が極端に少ないなー。そろそろまとまったモノを出して欲しい。

有向位相、有向ホモトピーに関しては：

• http://academic.csuohio.edu/bubenik_p/talks/directedTopology.pdf

ヴォエヴォドスキー自身は次の計画をぶちあげている。これ、なんだかスゴイ。

• http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/univalent_foundations_project.pdf