"Ламбда-исчисление. Его синтаксис и семантика" - читать интересную книгу автора (Барендрегт Х.)