Varieties of Sameness in HoTT

Arnold Grigorian's (HSE University) talk "Varieties of Sameness in HoTT" at the English online session of "uAnalytiCon-2024: Reference and Objecthood", Yekaterinburg, May 24-25, 2024.

Иконка канала uAnalytiCon
uAnalytiCon
7 подписчиков
12+
2 просмотра
2 года назад
ПожаловатьсяНарушение авторских прав
12+
2 просмотра
2 года назад

Arnold Grigorian's (HSE University) talk "Varieties of Sameness in HoTT" at the English online session of "uAnalytiCon-2024: Reference and Objecthood", Yekaterinburg, May 24-25, 2024.

, чтобы оставлять комментарии