Andrei Rodin Made a Report at the Workshop in Oxford

Senior Research Fellow of Laboratory for Logic, Linguistics and Formal Philosophy participated in the Workshop "Homotopy Type Theory/ Univalent Foundations".

From 7 July to 8 July the Workshop "Homotopy Type Theory/ Univalent Foundations" (https://hott-uf.github.io/2018/) was held in Oxford as a part of "Federated Logic Conference 2018".On the seventh of July Andrei Rodin submitted a report "Univalent Foundations and the Constructive View of Theories".

  Univalent Foundations and the Constructive View of Theories.pdf