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
Ordered combinatory algebras and realizability
Walter Ferrer Santos, Jonas Frey, Mauricio Guillermo, Octavio Malherbe, Alexandre Miquel
Datalogisk Institut
3
Citationer (Scopus)
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Ordered combinatory algebras and realizability'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Matematik
Realizability
100%
Algebra
47%
Truth
44%
Higher-order Logic
29%
Categorical
20%
Presentation
17%
Language
15%
Higher Order
15%
Interpretation
15%
Modeling
13%
Concepts
11%
Class
6%
Teknik og materialevidenskab
Algebra
89%