Skip to main navigation
Skip to search
Skip to main content
Aarhus University Home
Help & FAQ
English
Dansk
Home
Profiles
Research units
Projects
Research output
Datasets
Prizes
Activities
Courses
Press/Media
Search by expertise, name or affiliation
Programming language semantics in modal type theories
Philipp Jan Andries Stassen
Department of Computer Science
Research output
:
Types of Thesis
›
PhD thesis
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Programming language semantics in modal type theories'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Type Theory
100%
Modal Type Theory
100%
Program Semantics
100%
Proof Assistants
71%
Programming Languages
28%
Modal
28%
Probabilistic Choice
28%
Concurrency
14%
Recursive Types
14%
Denotational Semantics
14%
Operational Semantics
14%
Contextual Equivalence
14%
Semantic Domains
14%
Recursion
14%
Fixpoint
14%
Step-indexing
14%
Security Properties
14%
Computational Effects
14%
Constructive Type Theory
14%
Right Adjoint
14%
Combinators
14%
Program Security
14%
Reactive Programming
14%
Computer Science
Programming Language
100%
Language Semantics
100%
Proof
100%
Probabilistic Choice
40%
Operational Semantics
20%
Denotational Semantics
20%
Security Properties
20%
Soundness
20%
Concurrency
20%
Semantic Domain
20%
Constructive Type
20%
Correctness
20%