Håkon Robbestad Gylterud

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 6

Top Topics

Theoretical Basis

Top Venues

J. Log. Comput.

Publications

Knut Anders Stokke, Mikhail Barash, Jaakko Järvi, Elisabeth Stenholm, Håkon Robbestad Gylterud
Containers for GUI Models. Programming (2024)
Jonathan Prieto-Cubides, Håkon Robbestad Gylterud
On Planarity of Graphs in Homotopy Type Theory. CoRR (2021)
Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak
Type theoretical databases. J. Log. Comput. 30 (1) (2020)
Håkon Robbestad Gylterud
From Multisets to Sets in homotopy Type Theory. J. Symb. Log. 83 (3) (2018)
Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak
Type Theoretical Databases. LFCS (2016)
Håkon Robbestad Gylterud
Multisets in Type Theory. CoRR (2016)
Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak
Type theoretical databases. CoRR (2014)