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)

• Håkon Robbestad Gylterud, Elisabeth Stenholm, Univalent material set theory (arXiv:2312.13024)

On non-wellfounded sets in homotopy type theory:

• Håkon Robbestad Gylterud, Elisabeth Stenholm, Niccolò Veltri, Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory [arXiv:2001.06696]

On the category of Peter Aczel‘s iterative sets in homotopy type theory:

• Daniel Gratzer, Håkon Gylterud, Anders Mörtberg, Elisabeth Stenholm, The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations, Mathematical Structures in Computer Science 34 Special Issue 9: Advances in Homotopy type theory (2024) 945-970 [doi:10.1017/S0960129524000288, arXiv:2402.04893]

Talks

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

category: people