1. A λ-to-CL translation for strong normalization;Akama,1997
2. The Lambda Calculus;Barendregt,1984
3. Weak reduction in lambda calculus;Çağman,1996
4. Lambda Calculi, a Guide for Computer Scientists;Hankin,1994
5. Combinatory reductions and lambda reductions compared;Hindley;Zeit. Math. Logik,1977