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
Clean translation of an imperative reversible programming language
Holger Bock Axelsen
Department of Computer Science
20
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Clean translation of an imperative reversible programming language'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering & Materials Science
Computer programming languages
100%
Semantics
74%