Håkon Robbestad Gylterud

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

Collaborative distances:

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

2024

On planarity of graphs in homotopy type theory.

Jonathan Prieto-Cubides, Håkon Robbestad Gylterud

Math. Struct. Comput. Sci., 2024

The category of iterative sets in homotopy type theory and univalent foundations.

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

Math. Struct. Comput. Sci., 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

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

2017

Univalent Types, Sets and Multisets: Investigations in dependent type theory.

Håkon Robbestad Gylterud

PhD thesis, 2017

2016

Multisets in Type Theory.

Håkon Robbestad Gylterud

CoRR, 2016