1. Lecture Notes in Computer Science;R. Adams,2007
2. Applied Logic Series;P.B. Andrews,2002
3. Barendregt, H.P.: Lambda calculi with types. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. II, pp. 117–309. Oxford University Press, Oxford (1992)
4. Barthe, G.: Extensions of pure type systems. In: Dezani-Ciancaglini and Plotkin [10], pp. 16–31
5. An EATCS Series;Y. Bertot,2004