Håkon Robbestad Gylterud

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

Collaborative distances:

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

2026

Univalent material set theory.

Håkon Robbestad Gylterud, Elisabeth Stenholm

Ann. Pure Appl. Log., 2026

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

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

Type Theoretical Databases.

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

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2016