Eric Finster

14 papers A* 5B 1Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2024 A* conf
A Syntax for Strictly Associative and Unital ∞-Categories.
LICS
Eric Finster, Alex Rice, Jamie Vicary
2023 J jnl
Strictly Associative and Unital $\infty$-Categories as a Generalized Algebraic Theory.
CoRR
Eric Finster, Alex Rice, Jamie Vicary
2022 A* conf
A Type Theory for Strictly Unital ∞-Categories.
LICS
Eric Finster, David Reutter, Jamie Vicary, Alex Rice
2021 B conf
A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory.
MFPS
Eric Finster, Samuel Mimram, Maxime Lucas, Thomas Seiller
2021 J jnl
A Type Theory for Strictly Associative Infinity Categories.
CoRR
Eric Finster, Alex Rice, Jamie Vicary
2021 J jnl
Globular weak ω-categories as models of a type theory.
CoRR
Thibaut Benjamin, Eric Finster, Samuel Mimram
2021 A* conf
Types Are Internal ∞-Groupoids.
LICS
Eric Finster, Antoine Allioux, Matthieu Sozeau
2021 J jnl
Types are Internal ∞-Groupoids.
CoRR
Antoine Allioux, Eric Finster, Matthieu Sozeau
2020 J jnl
A Type Theory for Strictly Unital ∞-Categories.
CoRR
Eric Finster, David Reutter, Jamie Vicary
2017 J jnl
A Type-Theoretical Definition of Weak ω-Categories.
CoRR
Eric Finster, Samuel Mimram
2017 A* conf
A type-theoretical definition of weak ω-categories.
LICS
Eric Finster, Samuel Mimram
2016 A* conf
A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory.
LICS
Kuen-Bang Hou (Favonia), Eric Finster, Daniel R. Licata, Peter LeFanu Lumsdaine
2016 J jnl
A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory.
CoRR
Kuen-Bang Hou (Favonia), Eric Finster, Daniel R. Licata, Peter LeFanu Lumsdaine
2014 — conf
Eilenberg-MacLane spaces in homotopy type theory.
CSL-LICS
Daniel R. Licata, Eric Finster