Multisets in Type Theory. - Håkon Robbestad Gylterud (CoRR, 2016)

Univalent Types, Sets and Multisets: Investigations in dependent type theory. - Håkon Robbestad Gylterud (2017)

From Multisets to Sets in homotopy Type Theory. - Håkon Robbestad Gylterud (J. Symb. Log., 2018)

Type theoretical databases. - Henrik Forssell; Håkon Robbestad Gylterud; David I. Spivak (J. Log. Comput., 2020)

Containers for GUI Models. - Knut Anders Stokke; Mikhail Barash; Jaakko Järvi; Elisabeth Stenholm; Håkon Robbestad Gylterud (Programming, 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)

On planarity of graphs in homotopy type theory. - Jonathan Prieto-Cubides; Håkon Robbestad Gylterud (Math. Struct. Comput. Sci., 2024)