Printer Friendly
Dictionary, Encyclopedia and Thesaurus - The Free Dictionary
3,900,248,908 visitors served.
forum Join the Word of the Day Mailing List For webmasters
?
Dictionary/
thesaurus
Medical
dictionary
Legal
dictionary
Financial
dictionary
Acronyms
 
Idioms
Encyclopedia
Wikipedia
encyclopedia
?

beta reduction

   Also found in: Dictionary/thesaurus, Wikipedia 0.01 sec.
beta reduction - [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.
Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.
?Page tools
Printer friendly
Cite / link 		Feedback
Mentioned in?  References in periodicals archive?   Encyclopedia browser?   Full browser?
No references found
 
Summary Results of the START 40 and START Trials Beta Reduction Beta Reduction Placebo Radiation vs.
Novoste Receives U.S. Approval of Beta-Cath System With 40-Millimeter ... by Business Wire
Interim Angiographic Results of the START 40 Trial Beta Reduction Beta Reduction Placebo Radiation vs.
Novoste Announces Interim Results of START 40 Trial by Business Wire
 
 
 
Encyclopedia
?

Terms of Use | Privacy policy | Feedback | Advertise with Us | Copyright © 2012 Farlex, Inc.
Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.