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
Join inverse categories and reversible recursion
Robin Kaarsgaard
, Holger Bock Axelsen,
Robert Glück
Datalogisk Institut
Datalogisk Institut
12
Citationer (Scopus)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Join inverse categories and reversible recursion'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Mathematics
Morphism
100%
Reversibility
100%
File Format
100%
Posed Problem
100%
Keyphrases
Recursion
100%
Inverse Category
100%
Functional Programming
50%
Morphism
25%
Algebraic Compactness
25%
Functional Programming Languages
25%
Category-level
25%
Partiality
25%