LAMBDA CALCULUS

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

lambda calculus—матем. лямбдаисчисление...Англо-русский научно-технический словарь
lambda calculus—лямбдаисчисление. Математический формализм для представления и определения функций оказавший существенное влияние на развитие языков функционального программирования в ча...Англо-русский словарь по компьютерам