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
Join inverse categories as models of reversible recursion
Holger Bock Axelsen,
Robin Kaarsgaard
Department of Computer Science
4
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Join inverse categories as models of reversible recursion'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Join
100%
Recursion
99%
Functional Programming
79%
Categorical
38%
Model
33%
Reversibility
25%
Programming Languages
21%
Morphism
18%
Compactness
17%
Countable
16%
Trace
16%
Partial
13%
Modeling
13%
Formulation
12%