List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations (available as arXiv preprint) | N/A | Paper |
| Terminal coalgebras and non-wellfounded sets in homotopy type theory Logical Methods in Computer Science | 2026-08-04 | Paper |
| Univalent material set theory Annals of Pure and Applied Logic | 2025-11-26 | Paper |
| The category of iterative sets in homotopy type theory and univalent foundations Mathematical Structures in Computer Science | 2025-03-04 | Paper |
| On planarity of graphs in homotopy type theory Mathematical Structures in Computer Science | 2024-10-16 | Paper |
| Univalent Material Set Theory | 2023-12-20 | Paper |
| On Planarity of Graphs in Homotopy Type Theory | 2021-12-13 | Paper |
| Multisets in type theory Mathematical Proceedings of the Cambridge Philosophical Society | 2021-09-14 | Paper |
| Type theoretical databases Journal Of Logic And Computation | 2020-04-29 | Paper |
| Non-wellfounded sets in homotopy type theory | 2020-01-18 | Paper |
| From multisets to sets in homotopy type theory Journal of Symbolic Logic | 2018-10-26 | Paper |
| Type theoretical databases Logical Foundations of Computer Science | 2017-07-21 | Paper |
| Type theoretical databases Logical Foundations of Computer Science | 2017-07-21 | Paper |
Research outcomes over time
This page was built for person: Håkon Robbestad Gylterud
