• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Важные объявления 1

Новости

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

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

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