Eric Finster

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

category: people

Last revised on February 26, 2019 at 06:18:40. See the history of this page for a list of all contributions to it.