1936 год в области вычислений

Лямбда-исчисление Основы лямбда-исчисления Лямбда-исчисление – это формальное исчисление, основанное на лямбда-терминах.  Лямбда-термины представляют собой выражения, которые могут быть вычислены с […]

Лямбда-исчисление Лямбда-исчисление – формальное исчисление для описания вычислений с использованием лямбда-терминов.  Лямбда-термины представляют собой выражения, которые могут быть вычислены с