A BRICS Mini-Course
March 6-8, 10 and 13, 1995
University of Genova
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.