Semantic Domains and Denotational Semantics
Abstract
All of these exercise assume the definitions and results in the paper Semantic Domains by Carl A. Gunter and D.S. Scott. Many exercises require some basic knowledge of category theory; the necessary definitions can all be found in subsections 1-5 of Chapter 0 of the book of J. Lambek and P.J. Sott or any book on category theory. The exercises below cover a wide range of levels of difficulty. In an effort to provide some guide to these levels, we have placed a single star * next to those exercise which we feel are more difficult than the average. An exercise is marked with two stars ** if it requires some specialized knowledge not included or require by the two references mentioned above (such as lambda-calculus, combinatory logic, set theory, topology, categorical logic, etc.). (KR)
Document Details
- Document Type
- Technical Report
- Publication Date
- May 17, 1989
- Accession Number
- ADA213964
Entities
People
- Carl A. Gunter
- Dana S. Scott
- Peter D. Mosses
Organizations
- Technical University of Munich