Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
Københavns Universitets forskningsportal Forside
Hjælp og OSS
Dansk
English
Forside
Profiler
Publikation
Forskningsenheder
Presse/medier
Aktiviteter
Priser
???studenttheses???
Forskningsdatasæt
Søg efter ekspertise, navn eller tilknytning
Multiparty symmetric sum types
Lasse Nielsen, Nobuko Yoshida, Kohei Honda
Datalogisk Institut
13
Citationer (Scopus)
53
Downloads (Pure)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Multiparty symmetric sum types'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Teknik og materialevidenskab
Semantics
100%
Specifications
94%