Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts.
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