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 scientic 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.