Estonian Winter Schools in Computer Science    
Eesti arvutiteaduse talvekoolid
EWSCS 2004
EATTK 2004

9th Estonian Winter School in Computer Science (EWSCS)
IX Eesti Arvutiteaduse Talvekool (EATTK)

Palmse, Estonia
February 29 - March 5, 2004

Achim Jung

School of Computer Science
University of Birmingham
United Kingdom

Stone Duality and Program Logics


The course will begin with a discussion of Marshall Stone's classical Representation Theorem for Boolean Algebras, and its significance for Topology and Logic. It will then work its way towards more general algebras and spaces as motivated by the properties of Observation Logic for Denotational Semantics (in the tradition of Smyth and Vickers). This will provide a basis for the sequent calculus MLS (a subset of Gentzen's system LK) which formalises Observation Logic particularly well. The fourth lecture will present some type constructions in MLS. These are put to use in some case studies which conclude the course.

Course materials

Background literature

About the Lecturer


Modified Thursday, Jan 01, 1970 at 2:00 EET+0200 by monika(at)