Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Dansk
English
Forside
Enheder
Forskere
Projekter
Publikationer
Forskningsdatasæt
Presse/medier
Aktiviteter
Priser
Søg efter ekspertise, navn eller tilknytning
Cubical modal type theories
Magnus Baunsgaard Kristensen
Publikation
:
Afhandlinger
›
Ph.d.-afhandling
Oversigt
Fingeraftryk
Projekter
(1)
Fingeraftryk
Dyk ned i forskningsemnerne om 'Cubical modal type theories'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Keyphrases
Type Theory
100%
Cubical Type Theory
71%
Recursion
28%
Guarded Recursion
28%
Coinductive Types
28%
Higher Inductive Types
28%
2-category
28%
Information Flow Control
14%
Information Flow
14%
Large Classes
14%
Non-deterministic
14%
Computational Content
14%
Program Verification
14%
Non-interference
14%
Commuting
14%
Reactive Programs
14%
Modal Types
14%
Extension Principle
14%
Univalence Axiom
14%
Multiple Clocks
14%
Orton
14%
Presheaf Models
14%
Staged Computation
14%
Information Control
14%
Function Extensionality
14%
Compositional Structure
14%
Powerset Functor
14%
Deterministic Processes
14%
Engineering
Technical Challenge
100%
Early Work
100%
Main Advantage
100%
Computer Science
Extensionality
100%
Technical Challenge
50%
Information Flow Control
50%
Powerset
50%