Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary (also found in English - Vietnamese, English - English (Wordnet), )
Jump to user comments
(Or "contraction") The process of transforming an expression
according to certain reduction rules. The most important
forms are beta reduction (application of a lambdaabstraction to one or more argument expressions) and deltareduction (application of a mathematical function to the
required number of arguments).