Centre for Advanced Study

at the Norwegian Academy of Science and Letters

HoTT-UF

Homotopy Type Theory and Univalent Foundations

By Camilla Kottum Elmar,
LOGO