2011-01-05 型とホモトピー プログラム意味論 リンク ホモトピーを使った型理論と言えば、これがあるか。 Type theory and homotopy (Submitted on 9 Oct 2010) Steve Awodey http://arxiv.org/abs/1010.1810