1. Barendregt, H.P.: The Lambda Calculus: Its Syntax and Semantics, 2nd edn. Elsevier Science, Amsterdam (1985)
2. Lecture Notes in Computer Science;J.J. Lévy,1975
3. Berarducci, A.: Infinite λ-calculus and non-sensible models. In: Ursini, A., Aglianò, P. (eds.) Logic and Algebra, Marcel Dekker, pp. 339–378. Marcel Dekker, New York (1996)
4. Lévy, J.J.: Réductions correctes et optimales dans le lambda-calcul. PhD thesis, Université de Paris VII (1978)
5. Hyland, M.: A syntactic characterization of the equality in some models for the lambda calculus. Journal of the London Mathematical Society 12(2), 361–370 (1976)