Андрей Родин выступил с докладом в Тюбингенском университете

Андрей Родин выступил с докладом на Третьей Тюбингенской конференции по теоретико-доказательственной семантике (Тюбингенский университет, Германия)

Андрей Родин, старший научный сотрудник Международной лаборатории логики, лингвистики и формальной философии, принял участие в Третьей Тюбингенской конференции по теоретико-доказательственной семантике, которая проходила 27-30 марта в Тюбингенском университете.
Андрей Родин выступил с докладом "Экстралогическая теоретико-доказательственная семантика в HoTT (гомотопической теории типов)".