Андрей Родин выступил с докладом на воркшопе в Оксфорде

Старший научный сотрудник Международной лаборатории логики, лингвистики и формальной философии принял участие в воркшопе "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".