Skip to main navigation
Skip to search
Skip to main content
University of Copenhagen Research Portal Home
Help & FAQ
Dansk
English
Home
Profiles
Research output
Research units
Press/Media
Activities
Prizes
???studenttheses???
Datasets
Search by expertise, name or affiliation
Multiparty symmetric sum types
Lasse Nielsen, Nobuko Yoshida, Kohei Honda
Department of Computer Science
13
Citations (Scopus)
53
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Multiparty symmetric sum types'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Semantics
100%
Specifications
94%