|
|
English
version
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
|
|
|
|
|
|
|
|
|
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
|
|