Topology via Logic

( Topology Series )

Steve Vickers, School of Computer Science

Date and time: Friday 26th March 2004 at 16:00
Location: LG34, Learning Centre

This is the eleventh talk in Steve Vickers' Topology via Logic series:

I am giving a series of talks this term on topology from a computer science perspective. It will in many ways follow my book "Topology via Logic" (CUP 1989), but will also go beyond that in bringing out the deep relationship with constructive logic. My lectures will be new, and in fact part of the aim is to put together the shape of a constructive 2^nd edition of Topology via Logic.

See the abstract of the first talk for a detiled outline of the series.