Skip to main navigation
Skip to search
Skip to main content
IT-University of Copenhagen Home
Support to ITU faculty
Dansk
English
Home
Researchers
Research Organisation
Publications
Projects
Press/Media
Activities
Prizes
Search by expertise, name or affiliation
Denotational semantics in Synthetic Guarded Domain Theory
Marco Paviotti
Programming Logic and Semantics
Research output
:
Book / Anthology / Report / Ph.D. thesis
›
Ph.D. thesis
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Denotational semantics in Synthetic Guarded Domain Theory'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Denotational Semantics
100%
Domain Theory
100%
Type Theory
75%
Dependent Type Theory
75%
Recursion
75%
Well-defined
50%
Recursive Types
50%
Step-indexing
50%
Operational Semantics
25%
General Techniques
25%
Functional Programming
25%
Well-founded
25%
Functional Programming Languages
25%
Recursive Definition
25%
Natural Settings
25%
Computational Adequacy
25%
Circular Definitions
25%
Specific Language
25%
Synthetic Forms
25%
Circularity
25%
Guard
25%
Set-theoretic Model
25%
Computer Science
Denotational Semantics
100%
Domain Theory
100%
Functional Programming
50%
Operational Semantics
25%
Recursive Definition
25%
Language Specific
25%
Theoretic Model
25%