1. Appel, A.: Verified Functional Algorithms. Software Foundations series, volume 3. Electronic textbook (2018)
2. Lecture Notes in Computer Science;M Armand,2011
3. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1999)
4. Barendregt, H.: Lambda calculi with types. In: Handbook of Logic in Computer Science, vol. 2, pp. 118–310. Oxford University Press (1992)
5. Ben-Yelles, C.: Type-assignment in the lambda-calculus. Ph.D. thesis, University College Swansea (1979)