Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Link åbnes på en ny fane
Dansk
English
Søg efter indhold i IT-Universitetet i København
Forside
Enheder
Forskere
Projekter
Publikationer
Forskningsdatasæt
Kurser
Presse/medier
Aktiviteter
Priser
Maaike Annebet Zwart
Postdoc
,
Theoretical Computer Science
https://orcid.org/0000-0002-0257-1574
E-mail
mazw
itu
dk
2022
2025
Publikationer pr. år
Vis
Fingeraftryk
Netværk
Publikationer
(3)
Projekter
(1)
Forskningsdatasæt
(1)
Kurser
(2)
Lignende profiler
(2)
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Maaike Annebet Zwart er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
Sorter
Vægt
Alfabetisk
Keyphrases
Type Theory
100%
Delay Monad
100%
Monads
100%
Computational Effects
62%
Recursion
50%
Probabilistic Choice
50%
Programming Languages
25%
Weak Bisimilarity
25%
Algebraic Effects
25%
Recursive Types
12%
Reasoning about Programs
12%
Operational Semantics
12%
Denotational Semantics
12%
Higher Inductive Types
12%
Guarded Recursion
12%
Computer Science
Distributive Law
100%
Probabilistic Choice
50%
Programming Language
33%
Reasoning about Programs
16%
Denotational Semantics
16%
Operational Semantics
16%
Mathematics
Type Theory
100%
Wide Range
50%