Håkon Robbestad Gylterud
Publication Activity (10 Years)
Years Active: 2014-2021
Publications (10 Years): 5
Publications (10 Years): 5
Publications
- Jonathan Prieto-Cubides, Håkon Robbestad Gylterud
- Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak
- Håkon Robbestad Gylterud
- Henrik Forssell, Håkon Robbestad Gylterud, David I. Spivak
- Håkon Robbestad GylterudMultisets in Type Theory. CoRR (2016)
- Henrik Forssell, Håkon Robbestad Gylterud, David I. SpivakType theoretical databases. CoRR (2014)