1. S. Abramsky, Semantic foundations for applicative multiprogramming, in: J. Diaz (Ed.), Proceedings of the ICALP’83, LNCS, vol. 154, 1983, pp. 1–15.
2. Uncountable limits and the lambda calculus;Di Gianantonio;Nord. J. Comput.,1995
3. The Lambda Calculus, its Syntax and Semantics;Barendregt,1984
4. C. Berline, G. Manzonetto, A. Salibra, Lambda theories of effective lambda models, in: Proceedings of the CSL’07, LNCS, vol. 4646, 2007, pp. 268–282.
5. An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus;Honsell;JCSS,1992