The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

Isaac Newton Institute for Mathematical Sciences

Semantics of Computation

1 July - 31 December 1995

Organisers: S Abramsky (Imperial College, London), G Kahn (INRIA, Sophia-Antipolis), J C Mitchell (Stanford), A M Pitts (Cambridge)

Semantics of Computation Seminar

Wednesday October 25, 11am

Domain Theory in Logical Form for Continuous Domains

Achim Jung (Birmingham)

I will present some preliminary ideas and results for extending Samson's `Domain Theory in Logical Form' to the case of continuous domains. The relevant bits of Stone Duality which underlie the approach will be recalled.

Copyright © Isaac Newton Institute