- lambda expression
- лямбда-выражение (в лямбда-исчислении)
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Lambda calculus — In mathematical logic and computer science, lambda calculus, also written as λ calculus, is a formal system designed to investigate function definition, function application and recursion. It was introduced by Alonzo Church and Stephen Cole… … Wikipedia
Lambda-mu calculus — In mathematical logic and computer science, the lambda mu calculus is an extension of the lambda calculus, and was introduced by M. Parigot in [lambda mu] calculus: an algorithmic interpretation of classical natural deduction , Springer LNAI no.… … Wikipedia
lambda calculus — noun Any of a family of functionally complete algebraic systems in which lambda expressions are evaluated according to a fixed set of rules to produce values, which may themselves be lambda expressions. See Also: calculus, lambda, lambda… … Wiktionary
Lambda-Calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of Recursive Function … Wikipédia en Français
Lambda calcul — « La notion de λ définissabilité fut la première de ce qui est accepté maintenant comme l équivalent exact des descriptions mathématiques pour lesquelles des algorithmes existent. » Stephen Kleene, in Origins of Recursive Function … Wikipédia en Français
Lambda-Phage — Systematik Reich: Viren Ordnung: Caudovirales Familie: Siphoviridae Gattung: λ ähnliche Viren … Deutsch Wikipedia
Lambda (Bakteriophage) — Lambda Phage Systematik Reich: Viren Ordnung: Caudovirales Familie: Siphoviridae Gattung: λ ähnliche Viren … Deutsch Wikipedia
Lambda Phage — Systematik Reich: Viren Ordnung: Caudovirales Familie: Siphoviridae Gattung: λ ähnliche Viren … Deutsch Wikipedia
Lambda — (uppercase Λ, lowercase λ; el. Λάμβδα or el. Λάμδα, Lamda) is the 11th letter of the Greek alphabet. In the system of Greek numerals it has a value of 30. It was derived from the Phoenician letter Lamed the name of the letter, Λάμδα, is… … Wikipedia
Lambda lifting — or closure conversion is the process of eliminating free variables from local function definitions from a computer program. The elimination of free variables allows the compiler to hoist local definitions out of their surrounding contexts into a… … Wikipedia
Expression Rationnelle — Pour les articles homonymes, voir régulier et rationnel. Une expression rationnelle ou expression régulière[1] est en informatique une chaîne de caractères que l’on appelle parfois un motif et qui décrit un ensemble de chaînes de caractères… … Wikipédia en Français