型付ホモトピー数学って。。。
http://arxiv.org/pdf/1308.0729.pdf

２圏のロジックによる基礎付け完成おめでとうございます
http://arxiv.org/pdf/1308.5409.pdf

計算可能カラテオドリの定理ｗ
http://arxiv.org/pdf/1209.6096.pdf