Statistics
Publications
6
Citations
128
H-Index
6
Active since
2014
Eric Finster is an author at Laboratoire d'Informatique de l'École Polytechnique specializing in category theory, natural sciences, and mathematics.
Publications per year
2014–2018
6
6
Eilenberg-MacLane spaces in homotopy type theory
Daniel R. Licata, Eric Finster · 2014 · 55 citations
A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory
Kuen-Bang Hou, Eric Finster, Daniel R. Licata et al. · 2016 · 21 citations
A type-theoretical definition of weak ω-categories
Eric Finster, Samuel Mimram · 2017 · 15 citations · Full text
Goodwillie's calculus of functors and higher topos theory
Mathieu Anel, Georg Biedermann, Eric Finster et al. · Journal of Topology · 2018 · 14 citations · Full text
1–5 of 6