3pm Friday, 4th September, 2009
Room 4.31/33, Informatics Forum
Note nonstandard day and time
Abstract
In this talk I will give an overview of my PhD-work here in Edinburgh. I
will start by motivating Topological Domain Theory as a
generalisation of Classical Domain Theory, and mention some
fundamental results. Then I will explain how computational effects
and polymorphic types
can be modelled in our framework.