Håkon Robbestad Gylterud

According to our database, Håkon Robbestad Gylterud authored at least 6 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations.

Daniel Gratzer, Håkon Robbestad Gylterud, Anders Mörtberg, Elisabeth Stenholm

CoRR, 2024

Containers for GUI Models.

Knut Anders Stokke, Mikhail Barash, Jaakko Järvi, Elisabeth Stenholm, Håkon Robbestad Gylterud

Proceedings of the Companion Proceedings of the 8th International Conference on the Art, 2024

2021

On Planarity of Graphs in Homotopy Type Theory.

Jonathan Prieto-Cubides, Håkon Robbestad Gylterud

CoRR, 2021

2020

Type theoretical databases.

Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak

J. Log. Comput., 2020

2018

From Multisets to Sets in homotopy Type Theory.

Håkon Robbestad Gylterud

J. Symb. Log., 2018

2016

Multisets in Type Theory.

Håkon Robbestad Gylterud

CoRR, 2016