LAMBDA CALCULUS


Англо-русский перевод LAMBDA CALCULUS

лямбда-исчисление. математический

формализм для представления и определения функций, оказавший существенное влияние на развитие языков

функционального программирования, в

частности, на развитие языка лисп

(Lisp)

English-Russian dictionary Tiger.      Англо-Русский словарь Tiger.