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

-исчисление может рассматриваться как семейство прототипных языков программирования. Их основная особенность состоит в том, что они являются языками высших порядков. Тем самым обеспечивается систематический подход к исследованию операторов, аргументами которых могут быть другие операторы, а  значением также может быть оператор. Языки в этом семействе являются функциональными, поскольку они основаны на представлении о  функции или  операторе, включая функциональную аппликацию и функциональную абстракцию.