Андрей Родин выступил с докладом на воркшопе в Оксфорде
Старший научный сотрудник Международной лаборатории логики, лингвистики и формальной философии принял участие в воркшопе "Homotopy Type Theory/ Univalent Foundations".
В период с 7 по 8 июля в Оксфорде прошел воркшоп "Homotopy Type Theory/ Univalent Foundations", как часть конференции "Federated Logic Conference 2018". 7-го июля Андрей Родин представил свой доклад "Univalent Foundations and the Constructive View of Theories".
См. также:
Родин Андрей Вячеславович
Международная лаборатория логики, лингвистики и формальной философии: Старший научный сотрудник