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
Classical realizability in the CPS target language
Jonas Frey
Datalogisk Institut
1
Citationer (Scopus)
57
Downloads (Pure)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Classical realizability in the CPS target language'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Matematik
Calculus
13%
Categorical
16%
Intersection
12%
Intuitionistic Logic
20%
Language
62%
Presentation
28%
Realizability
100%
Reformulation
17%
Simplify
15%
Target
73%
Term
9%