ヴォエヴォドスキーやアウディ達がホモトピー・ラムダ計算／ホモトピー型理論*1を開発しています。 ホモトピー・ラムダ計算とホモトピー型理論 ホモトピー型理論の追加資料 この新しい動きはここ数年のことです。実はもっとずっと以前から、計算科学とホモト…