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 as models of reversible recursion
Holger Bock Axelsen,
Robin Kaarsgaard
Datalogisk Institut
4
Citationer (Scopus)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Join inverse categories as models of reversible recursion'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Matematik
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%