LAMBDA-CALCULUS


Meaning of LAMBDA-CALCULUS in English

< mathematics > (Normally written with a Greek letter lambda). A branch of mathematical logic developed by Alonzo Church in the late 1930s and early 1940s, dealing with the application of functions to their arguments. The pure lambda-calculus contain

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.