ALL COMPACT HAUSDORFF LAMBDA MODELS ARE DEGENERATE
Karl Heinrich Hofmann, Michael W. Mislove · Fundamenta Informaticae · 1995
The first mathematical model of 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 calcul