Mr. A.V.Allin geo. RELATIONSHIP OF LAMBDA CALCULUS AND REDUNDANCY. IJMA 2020, 9, 979-985.