4 ms·Martin Hofmann’s Contributions to Type Theory: Groupoids and Univalence [pdf]3 points by gbrown_ 6y ago