Research
Группы
Исследователи
Публикации
Александр Куклев
Исследовательские группы
Группа HOTT и зависимых типов
Биография
Гёттингенский университет им. Георга-Августа (2005 – 2012)
Ганноверская гимназия им. Лейбница (2005 – 2005)
Омская физико-математическая школа №64 (1998 – 2001)
Научные интересы:
Основания математики
Теория моделей
Исчисления построений
Унивалентная теория типов
и её модальные расширения
Квантовая теория поля
Некоммутативная геометрия
Поле с одним элементом
Линейная логика
Линейная теория типов