加载中…
2014-02-22
The equivalence axiom and univalent models of type theory. (Talk at CMU on February 4, 2010)
Vladimir Voevodsky
文献摘要
This is the text of my talk at CMU on Feb. 4, 2010 were I gave the second public presentation of the Univalence Axiom (called “equivalence axiom” in the text). The first presentation of the axiom was in a lecture at LMU Munich in November 2009.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本