DSDT Tutorial Topics

Here are some speciallized topics in denotational semantics and domain theory that might be appropriate subjects for the tutorial paper and talks. (I'll augment this with some appropriate links later.)

Power domains. Introduced primarily to deal with nondeterminacy and concurrency.
Concrete domains. A theory of domains that represent data types as opposed to functions, including incrementally computed and potentially infinite data structures like streams.
PERs (Partial Equivalence Relations). Used for the denotational semantics of data types.
P-omega. Scott's universal domain.
Continuations in Denotational Semantics.
Monads in Denotational Semantics. (Moggi's work.)
Full abstraction. The problem of how faithful a denotational semantics is to an operational semantics for the same language.

David MacQueen

Last modified: Mon Apr 7 14:04:29 CDT 2008