The equivalence axiom and univalent models of type theory. (Talk at CMU on February 4, 2010)
The equivalence axiom and univalent models of type theory. (Talk at CMU on February 4, 2010)
复制标题
类型论的等价公理和单价模型。
DOI：
--
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
V. Voevodsky
中科院分区：
文献类型：
--
作者：
V. Voevodsky
这是我在2010年2月4日在CMU进行演讲的文本，是我对Univalence Axiom进行了第二次公开介绍（文本中称为“等价公理”）。公理的第一个演讲是在2009年11月在LMU慕尼黑举行的一次演讲中。
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.