Mr. A.V.Allin geo, “RELATIONSHIP OF LAMBDA CALCULUS AND REDUNDANCY”, IJMA, vol. 9, no. 4, pp. 979-985, Dec. 2020.