Denotational semantics in Synthetic Guarded Domain Theory

Keyphrases

• Circular Definitions 25%
• Circularity 25%
• Computational Adequacy 25%
• Denotational Semantics 100%
• Dependent Type Theory 75%
• Domain Theory 100%
• Functional Programming 25%
• Functional Programming Languages 25%
• General Techniques 25%
• Guard 25%
• Natural Settings 25%
• Operational Semantics 25%
• Recursion 75%
• Recursive Definition 25%
• Recursive Types 50%
• Set-theoretic Model 25%
• Specific Language 25%
• Step-indexing 50%
• Synthetic Forms 25%
• Type Theory 75%
• Well-defined 50%
• Well-founded 25%

Computer Science

• Denotational Semantics 100%
• Domain Theory 100%
• Functional Programming 50%
• Language Specific 25%
• Operational Semantics 25%
• Recursive Definition 25%
• Theoretic Model 25%