nLab Håkon Robbestad Gylterud

website

Selected writings

Henrik Forssell, Håkon Robbestad Gylterud, David Spivak, Type theoretical databases, Journal of Logic and Computation, Volume 30, Issue 1, January 2020, Pages 217–238, (doi:10.1093/logcom/exaa009, arXiv:1406.6268)

On constructive set theory in homotopy type theory:

Håkon Robbestad Gylterud, Elisabeth Bonnevier, Non-wellfounded sets in HoTT [arXiv:2001.06696, talk video:YT]

Talks

Håkon Robbestad Gylterud, Defining and relating theories, Homotopy Type Theory Electronic Seminar Talks, 25 March 2021 (video, slides)

category: people

Last revised on November 6, 2023 at 16:11:58. See the history of this page for a list of all contributions to it.