Nearby Words
beta reduction
Oxidation www.buss-ct.com/ Technology for Gas/Liquid Reactions Process Development and Engineering
Beta Oxidation www.ask.com/Beta+Oxidation Find Beta Oxidation Q&A Results Beta Oxidation
Reductions - Save www.nextag.com/ Want the Hottest Deals Online? Reductions - See Low Price!
Ads
Computing Dictionary
beta reduction definition
[lambda-calculus] The application of a lambda abstraction to an argument expression. A copy of the body of the lambda abstraction is made and occurrences of the bound variable being replaced by the argument. E.g.
(\ x . x+1) 4 --> 4+1
Beta reduction is the only kind of reduction in the pure lambda-calculus. The opposite of beta reduction is beta abstraction. These are the two kinds of beta conversion.
See also name capture.
00:10
00:09
00:08
00:07
00:06
00:05
00:04
00:03
00:02
00:01
Beta reduction
is always a great word to know.
So is interrobang. Does it mean:
| the offspring of a zebra and a donkey. |
| a printed punctuation mark (‽), available only in some typefaces, designed to combine the question mark (?) and the exclamation point (!), indicating a mixture of query and interjection, as after a rhetorical question. |
Dictionary.com, LLC. Copyright © 2012. All rights reserved.
