Univalent Foundations and the Constructive View of Theories › SPbU Researchers Portal

Univalent Foundations and the Constructive View of Theories

Research output: Contribution to specialist publication › Letter

Department of Problems of Convergence in Natural Sciences andHumanities

Links

http://ojs.philosophy.spbu.ru/index.php/lphs/article/view/597/584

Андрей Вячеславович Родин

Original language	English
Volume	16
Issue number	1-2
Journal	Логико-философские штудии
State	Published - 2018

ID: 75061043