On the construction of stable models of untyped lambda-calculus

  title={On the construction of stable models of untyped lambda-calculus},
  author={Rainer Kerth},
  journal={Theor. Comput. Sci.},
Stable models of untyped -calculus have been introduced by Berry (Proceedings of ICALP, Lecture Notes in Computer Science, Vol. 62, Springer, Berlin, 1978, pp. 72–89) as a re8nement of the continuous framework de8ned by Scott (unpublished manuscript, 1969, 53pp.). In this paper, we show that even in the stable case we have a fair amount of freedom during the construction of models. We introduce a uniform method to construct stable models that allows to obtain non standard models satisfying… CONTINUE READING
Highly Cited
This paper has 41 citations. REVIEW CITATIONS