For today's PL junior I'll be talking about domain theory and how domains can give denotational semantics useful tools for talking about fixpoints, non-termination, and possibly even non-determinism (we'll see how time goes). -- Andrew