Старший научный сотрудник Международной лаборатории логики, лингвистики и формальной философии принял участие в воркшопе "Homotopy Type Theory/ Univalent Foundations".
Новости
Младший научный сотрудник Международной лаборатории логики, лингвистики и формальной философии выступил с докладом на коллоквиуме, а также принял участие в двухнедельном мастер-классе.








