The article written by Andrey Rodin is published

В книге Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts опубликована статья Андрея Родина "Models of HoTT and the Constructive View of Theories".

The article "Models of HoTT and the Constructive View of Theories" written by Andrey Rodin was published in the book “Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts”. 

Abstract:
"Homotopy Type theory and its Model theory provide a novel formal semantic framework for representing scientific theories. This framework supports a constructive view of theories according to which a theory is essentially characterised by its methods. The constructive view of theories was earlier defended by Ernest Nagel and a number of other philosophers of the past but available logical means did not allow these people to build formal representational frameworks that implement this view."