On the construction of stable models of untyped lambda-calculus

@article{Kerth2001OnTC,
  title={On the construction of stable models of untyped lambda-calculus},
  author={Rainer Kerth},
  journal={Theor. Comput. Sci.},
  year={2001},
  volume={269},
  pages={23-46}
}
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