Rasmus Ejlers Møgelberg - Vejledning - IT-Universitetet i København

E-mailmogelitudk

Publikationer pr. år

Publikation

3 resultater

2022
Cubical modal type theories
Kristensen, M. B., 2022, IT-Universitetet i København. 99 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil
2021
Type Theories for Reactive Programming
Graulund, C. U., 2021, IT-Universitetet i København. 129 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil
2016
Denotational semantics in Synthetic Guarded Domain Theory
Paviotti, M., 2016, IT-Universitetet i København. 143 s.
Publikation: Afhandlinger › Ph.d.-afhandling

Åben adgang
Fil