A Continuum of Theories of Lambda Calculus Without Semantics (2001)
| Venue: | 16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2001), IEEE COMPUTER |
| Citations: | 13 - 11 self |
BibTeX
@INPROCEEDINGS{Salibra01acontinuum,
author = {Antonino Salibra},
title = {A Continuum of Theories of Lambda Calculus Without Semantics},
booktitle = {16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2001), IEEE COMPUTER},
year = {2001},
pages = {334--343},
publisher = {Society Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this paper we give a topological proof of the following result: There exist 2 @0 lambda theories of the untyped lambda calculus without a model in any semantics based on Scott's view of models as partially ordered sets and of functions as monotonic functions. As a consequence of this result, we positively solve the conjecture, stated by Bastonero-Gouy [6, 7] and by Berline [10], that the strongly stable semantics is incomplete. 1
