|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 1 gevonden artikelen
| Titel: |
ALL COMPACT HAUSDORFF LAMBDA MODELS ARE DEGENERATE |
| Auteur: |
Hofmann, K.H. Mislove, M.W. |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 22 (2011) nr. 1-2 pagina's 23-52 |
| Jaar: |
2011-02-08 |
| Inhoud: |
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. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 1 gevonden artikelen