BRICS · Contents · Programme

Synthetic Domain Theory

A BRICS Mini-Course
March 6-8, 10 and 13, 1995

Lectures by
Pino Rosolini
University of Genova

Course Contents

The first lecture is of a more introductory nature and will discuss the aims, successes, present limitations, and recent results of synthetic domain theory.

Synthetic domain theory represents a programme of research initiated by Dana Scott in the late '70's into a categorical formulation of domain theory with the property that

These seemingly paradoxical requirements can be met in suitable intuitionistic set theory.


Monday March 6, 1995, 16:15-17:00 in ØVG31

Tuesday March 7, 1995, 15:15-16:00 in Colloquium G4

Wednesday March 8, 1995, 15:15-16:00 in Colloquium G

Friday March 10, 1995, 14:15-15:00 in Colloquium G3

Monday March 13, 1995, 14:15-15:00 in ØVB11