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
Realizability
100%
Target
73%
Language
62%
Presentation
28%
Intuitionistic Logic
20%
Reformulation
17%
Categorical
16%
Simplify
15%
Calculus
13%
Intersection
12%
Term
9%