Altenkirch, Thorsten, Capriotti, Paolo, Kraus, Nicolai, "Extending Homotopy Type Theory with Strict Equality", , 2016