University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Stone duality for bitopological spaces

Stone duality for bitopological spaces

Add to your list(s) Download to your calendar using vCal

  • UserAchim Jung, University of Birmingham
  • ClockFriday 09 March 2007, 14:00-15:00
  • HouseFW11.

If you have a question about this talk, please contact Sam Staton.

Samson Abramsky promoted the idea to use Stone duality to connect denotational semantics for programming languages with program logics. He developed a fairly specialised theory that was applicable to so-called Scott-domains (and SFP objects). In joint work with Drew Moshier, we found that the theory becomes much more elegant if carried out for stably compact spaces. More recently, we discovered that our duality (and the resulting logic) can usefully be expressed for bitopological spaces. This sheds new light on the logical set-up but, surprisingly, also on the classical dualities of Stone for Boolean algebras and distributive lattices.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2020 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity