Univalence and Constructive Identity

Research output: Chapter in Book/Report/Conference proceeding › Article in an anthology

Proceedings of international conference organized by Steklov Mathematical Institute in May 22- 25, 2012 in Saint-Petersburg

Original language	English
Title of host publication	Philosophy, Mathematics, Linguistics: Aspects of Interaction 2012
Publisher	Издательство "Наука"
Pages	170-174
State	Published - 2012
Externally published	Yes

Constructive Type theory, Homotopy Type theory, Univalent Foundations, Identity types

ID: 4612946