Multiple equilibria in natural sciences
Proof theoretical issues in Martin-Löf Type Theory and Homotopy Type Theory