サクサク読めて、アプリ限定の機能も多数！
Nyoho のブックマーク 2015/11/26 19:18
このブックマークにはスターがありません。 最初のスターをつけてみよう！
arxiv.org2014/01/09
Recent discoveries have been made connecting abstract homotopy theory and the field of type theory from logic and theoretical computer science. This has given rise to a new field, which has been ch...
2 人がブックマーク・0 件のコメント
＼ コメントが サクサク読める アプリです ／
このブックマークにはスターがありません。
最初のスターをつけてみよう！
Homotopy type theory and Voevodsky's univalent foundations
Recent discoveries have been made connecting abstract homotopy theory and the field of type theory from logic and theoretical computer science. This has given rise to a new field, which has been ch...
2 人がブックマーク・0 件のコメント
＼ コメントが サクサク読める アプリです ／