Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-7 av 7

2020
1 Forssell, Jon Henrik; Gylterud, Håkon Robbestad; Spivak, David I.
Type theoretical databases. Journal of Logic and Computation 2020 ;Volum 30.(1) s. 217-238
UiB UiO Untitled
 
2 Gylterud, Håkon Robbestad.
Non-wellfounded sets in HoTT. Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF 2020); 2020-07-05 - 2020-07-07
UiB Untitled
 
2019
3 Gylterud, Håkon Robbestad.
Multisets in type theory. Mathematical proceedings of the Cambridge Philosophical Society (Print) 2019 s. 1-18
UiB Untitled
 
4 Gylterud, Håkon Robbestad.
Quote operations in dependent type theory. Stockholm Logic Seminar; 2019-04-10
UiB Untitled
 
5 Prieto Cubides, Jonathan Steven; Gylterud, Håkon Robbestad.
Planar graphs in HoTT. TYPES 2019; 2019-06-11 - 2019-06-14
UiB Untitled
 
2018
6 Gylterud, Håkon Robbestad.
From multisets to sets in Homotopy Type Theory. Journal of Symbolic Logic (JSL) 2018 ;Volum 83.(3) s. 1132-1146
UiB Untitled
 
2017
7 Gylterud, Håkon Robbestad.
Quote operations in λ-calculus and type theory. Stockholm Logic Seminar; 2017-11-28
UiB Untitled