Håkon Robbestad Gylterud

12 papers Misc 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Univalent material set theory.
Ann. Pure Appl. Log.
Håkon Robbestad Gylterud, Elisabeth Stenholm
2024 — conf
Containers for GUI Models.
Programming
Knut Anders Stokke, Mikhail Barash, Jaakko Järvi, Elisabeth Stenholm, Håkon Robbestad Gylterud
2024 J jnl
On planarity of graphs in homotopy type theory.
Math. Struct. Comput. Sci.
Jonathan Prieto-Cubides, Håkon Robbestad Gylterud
2024 J jnl
The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations.
CoRR
Daniel Gratzer, Håkon Robbestad Gylterud, Anders Mörtberg, Elisabeth Stenholm
2024 J jnl
The category of iterative sets in homotopy type theory and univalent foundations.
Math. Struct. Comput. Sci.
Daniel Gratzer, Håkon Robbestad Gylterud, Anders Mörtberg, Elisabeth Stenholm
2021 J jnl
On Planarity of Graphs in Homotopy Type Theory.
CoRR
Jonathan Prieto-Cubides, Håkon Robbestad Gylterud
2020 J jnl
Type theoretical databases.
J. Log. Comput.
Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak
2018 J jnl
From Multisets to Sets in homotopy Type Theory.
J. Symb. Log.
Håkon Robbestad Gylterud
2017 — —
Univalent Types, Sets and Multisets: Investigations in dependent type theory.
Håkon Robbestad Gylterud
2016 J jnl
Multisets in Type Theory.
CoRR
Håkon Robbestad Gylterud
2016 Misc conf
Type Theoretical Databases.
LFCS
Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak
2014 J jnl
Type theoretical databases.
CoRR
Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak