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 required by the two references mentioned above (such as lambda-calculus, combinatory logic, set theory, topology, categorical logic, etc.). (KR)
展开▼