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
Classical realizability in the CPS target language
Jonas Frey
Department of Computer Science
1
Citation (Scopus)
57
Downloads (Pure)
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Classical realizability in the CPS target language'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Calculus
13%
Categorical
16%
Intersection
12%
Intuitionistic Logic
20%
Language
62%
Presentation
28%
Realizability
100%
Reformulation
17%
Simplify
15%
Target
73%
Term
9%