Name: Varieties of Sameness in HoTT
Uploaded: 2024-05-28T20:45:34+03:00
Duration: T27M45S
Description: Видео автора «uAnalytiCon» в Дзене 🎦: 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

57 подписчиков