Extending Homotopy Type Theory with Strict Equality.

Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus

Browse the full CSL paper archive.