lambda abstraction

English

lambda abstraction (plural lambda abstractions)

(computing theory) A lambda term of the form ${\\displaystyle (\\lambda x.t)}$ where x is a variable and t another lambda term. Any free instance of x within t (considered by itself) then becomes bound by the ${\\displaystyle \\lambda x.}$ prefix. It is meant to represent an anonymous function.

单词	lambda abstraction
释义	lambda abstraction English Noun lambda abstraction (plural lambda abstractions) (computing theory) A lambda term of the form ${\\displaystyle (\\lambda x.t)}$ where x is a variable and t another lambda term. Any free instance of x within t (considered by itself) then becomes bound by the ${\\displaystyle \\lambda x.}$ prefix. It is meant to represent an anonymous function.
随便看	increparíeu increpas increpase increpaseis increpasen increpases increpasse increpassem increpassemus increpassent increpasses increpasset increpassetis increpaste increpasteis increpasti increpastis increpat increpate increpated increpates increpating increpatio increpation increpatione