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 and reversible recursion
Robin Kaarsgaard
, Holger Bock Axelsen,
Robert Glück
Department of Computer Science
Department of Computer Science
12
Citations (Scopus)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Join inverse categories and reversible recursion'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
File Format
100%
Morphism
100%
Posed Problem
100%
Reversibility
100%
Keyphrases
Algebraic Compactness
25%
Category-level
25%
Functional Programming
50%
Functional Programming Languages
25%
Inverse Category
100%
Morphism
25%
Partiality
25%
Recursion
100%