лямбда-исчисление

Мат. lambda calculus