All Compact Hausdorff Lambda Models Are Degenerate

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-1995-22122