Описание тега lambda-calculus

λ-исчисление - это формальная система для определения функций, их применения и рекурсии, которая составляет математическую основу функционального программирования.

Поскольку многие люди спрашивают, как сократить λ-выражения с помощью промежуточных шагов, взгляните на инструментальную среду сокращения лямбда-исчисления и ее интерпретатор.

Связанные теги

Церковное кодирование