"Барендрегт,_Ламбда-исчисление,1985.pdf" - читать интересную книгу автора