‘Формальные методы’

Лямбда-исчисление История и происхождение Лямбда-исчисление введено Алонсо Черчем в 1930-х годах.   В 1936 году Черч выделил нетипизированное лямбда-исчисление.   В 1940 […]