Eric Finster

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 13

Top Topics

Type Definitions

Algebraic Geometry

Theoretical Basis

Top Venues

Publications

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