Michael Shulman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2013–2021
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | LICS | Categories of Nets. | John C. Baez, Fabrizio Genovese, Jade Master, Michael Shulman |
| 2020 | LICS | A Higher Structure Identity Principle. | Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis |
| 2017 | CPP | The HoTT library: a formalization of homotopy type theory in Coq. | Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters |
| 2016 | CSL | The Seifert-van Kampen Theorem in Homotopy Type Theory. | Kuen-Bang Hou (Favonia), Michael Shulman |
| 2016 | LFCS | Adjoint Logic with a 2-Category of Modes. | Daniel R. Licata, Michael Shulman |
| 2013 | LICS | Calculating the Fundamental Group of the Circle in Homotopy Type Theory. | Daniel R. Licata, Michael Shulman |