Insights from Univalent Foundations: A Case Study Using Double Categories.

Nima Rasekh, Niels van der Weide, Benedikt Ahrens, Paige Randall North

Browse the full CSL paper archive.