Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Link åbnes i en ny fane
Dansk
English
Søg efter indhold i IT-Universitetet i København
Forside
Enheder
Forskere
Projekter
Publikationer
Forskningsdatasæt
Presse/medier
Aktiviteter
Priser
Linear contextual modal type theory
Anders Schack-Nielsen
,
Carsten Schürmann
Publikation
:
Bog / Antologi / Rapport
›
Rapport
›
Forskning
Oversigt
Fingeraftryk
Fingeraftryk
Dyk ned i forskningsemnerne om 'Linear contextual modal type theory'. Sammen danner de et unikt fingeraftryk.
Sorter
Vægt
Alfabetisk
Keyphrases
Contextual Modal Type Theory
100%
Logical Variable
66%
Type Theory
33%
Linear Type Theory
33%
Logical Frameworks
33%
Intuitionistic
33%
Nature of Logic
33%
Equational Theory
33%
Computer Science
Soundness
100%
Logical Framework
100%
Equational Theory
100%