Eric Finster
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
2
Active years
2014–2024
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | LICS | A Syntax for Strictly Associative and Unital ∞-Categories. | Eric Finster, Alex Rice, Jamie Vicary |
| 2022 | LICS | A Type Theory for Strictly Unital ∞-Categories. | Eric Finster, David Reutter, Jamie Vicary, Alex Rice |
| 2021 | LICS | Types Are Internal ∞-Groupoids. | Eric Finster, Antoine Allioux, Matthieu Sozeau |
| 2017 | LICS | A type-theoretical definition of weak ω-categories. | Eric Finster, Samuel Mimram |
| 2016 | LICS | A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory. | Kuen-Bang Hou (Favonia), Eric Finster, Daniel R. Licata, Peter LeFanu Lumsdaine |
| 2014 | CSL | Eilenberg-MacLane spaces in homotopy type theory. | Daniel R. Licata, Eric Finster |