Eric Finster

- Eric Finster,
*Towards Higher Universal Algebra in Type Theory*, Homotopy Type Theory Electronic Seminar 2018 (recording, Agda code)

Selected writings

On combining homotopy type theory with opetopic type theory:

- Antoine Allioux, Eric Finster, Matthieu Sozeau,
*Types are internal infinity-groupoids*, 2021 (hal:03133144, pdf)

On homotopy dependent linear type theory of dependent stable homotopy types with categorical semantics in parametrized spectra:

- Mitchell Riley, Eric Finster, Daniel Licata,
*Synthetic Spectra via a Monadic and Comonadic Modality*(arXiv:2102.04099)

category: people

Last revised on May 13, 2021 at 13:53:55. See the history of this page for a list of all contributions to it.