Eric Finster

According to our database, Eric Finster authored at least 11 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

A Syntax for Strictly Associative and Unital ∞-Categories.

Eric Finster, Alex Rice, Jamie Vicary

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

Strictly Associative and Unital $\infty$-Categories as a Generalized Algebraic Theory.

Eric Finster, Alex Rice, Jamie Vicary

CoRR, 2023

2022

A Type Theory for Strictly Unital ∞-Categories.

Eric Finster, David Reutter, Jamie Vicary, Alex Rice

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory.

Eric Finster, Samuel Mimram, Maxime Lucas, Thomas Seiller

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

A Type Theory for Strictly Associative Infinity Categories.

Eric Finster, Alex Rice, Jamie Vicary

CoRR, 2021

Globular weak ω-categories as models of a type theory.

Thibaut Benjamin, Eric Finster, Samuel Mimram

CoRR, 2021

Types Are Internal ∞-Groupoids.

Eric Finster, Antoine Allioux, Matthieu Sozeau

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

A Type Theory for Strictly Unital ∞-Categories.

Eric Finster, David Reutter, Jamie Vicary

CoRR, 2020

2017

A type-theoretical definition of weak ω-categories.

Eric Finster, Samuel Mimram

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

A Mechanization of the Blakers-Massey Connectivity Theorem in Homotopy Type Theory.

Kuen-Bang Hou (Favonia), Eric Finster, Daniel R. Licata, Peter LeFanu Lumsdaine

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2014

Eilenberg-MacLane spaces in homotopy type theory.

Daniel R. Licata, Eric Finster

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014