Univalence and Constructive Identity. / Rodin, Andrei.
Philosophy, Mathematics, Linguistics: Aspects of Interaction 2012. Издательство "Наука", 2012. p. 170-174.Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology › Research
}
TY - CHAP
T1 - Univalence and Constructive Identity
AU - Rodin, Andrei
PY - 2012
Y1 - 2012
N2 - Proceedings of international conference organized by Steklov Mathematical Institute in May 22- 25, 2012 in Saint-Petersburg
AB - Proceedings of international conference organized by Steklov Mathematical Institute in May 22- 25, 2012 in Saint-Petersburg
KW - Constructive Type theory
KW - Homotopy Type theory
KW - Univalent Foundations
KW - Identity types
M3 - Article in an anthology
SP - 170
EP - 174
BT - Philosophy, Mathematics, Linguistics: Aspects of Interaction 2012
PB - Издательство "Наука"
ER -
ID: 4612946