nLab Chris Grossack

Publications

Chris Grossack, Extensions of Abelian Automata Groups, (arXiv:1903.06997)

Talks

Chris Grossack, Where are the open sets? Comparing HoTT with Classical Topology, Homotopy Type Theory Electronic Seminar Talks, 6 October 2022, (slides, video)

category: people

Last revised on November 16, 2022 at 14:53:57. See the history of this page for a list of all contributions to it.