All Compact Hausdorff Lambda Models Are Degenerate

  • Authors:

  • K.H. Hofmann;M.W. Mislove

  • Affiliations:

  • (Thanks to Deutsche Forschungsgemeinschaft and the second the Office of Naval Research for their support. E-mail addresses: hofmann@mathematik.th-darmstadt.de) Fachbereich Mathematik, Schloßg ...;(Thanks to Deutsche Forschungsgemeinschaft and the second the Office of Naval Research for their support. E-mail addresses: mwm@tulmath.math.tulane.edu) Department of Mathematics, Tulane Universit ...

  • Venue:
  • Fundamenta Informaticae
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract

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 calculus. In this paper we show that any compact Hausdorff model of the calculus must satisfy the property that the semantic map from the calculus to the model is constant. In particular, any compact reflexive object in the category of Hausdorff k-spaces gives rise to a degenerate model of the calculus. We also explore the relationship of the results we derive to the notions of a combinatory model and of an environment model of the calculus.