Sarah Scott-Barrett was born in Birmingham, the daughter of a surgeon. She educated at Edgbaston High School and trained Guy’s Hospital Medical School. After graduating, she worked Guy’s, Whittington, St George’s, Royal Marsden, National Heart, Brompton hospitals. After brief time anaesthetics, switched to radiology based …

The rst mathematical model of the untyped lambda calculus was discovered by DANA SCOTT in the category of algebraic lattices and Scott continuous maps. The question then arises as to which other cartesian closed categories contain a model of the calculus. In this paper we show that any compact Hausdor model of the calculus must satisfy the property that the semantic map from the calculus to the...