beta abstraction

0.01 sec.

beta abstraction - [lambda-calculus] The conversion of an expression to an application of a lambda abstraction to an argument expression. Some subterm of the original expression becomes the argument of the abstraction and the rest becomes its body. E.g.

4+1 --> (\ x . x+1) 4

The opposite of beta abstraction is beta reduction. These are the two kinds of beta conversion.

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	?		Encyclopedia browser	?		Full browser	?
No references found			Besterman, Theodore Nathaniel Bestiakh Bestiality bestiary Bestobe Bestor, Arthur Bestor, Arthur Eugene Bestuzhev Cattle Bestuzhev Courses Bestuzhev Family Bestuzhev, Aleksandr Aleksandrovich Bestuzhev-Riumin, Aleksei Bestuzhev-Riumin, Aleksei Petrovich Bestuzhev-Riumin, Konstantin Bestuzhev-Riumin, Konstantin Nikolaevich Bestuzhev-Riumin, Mikhail Bestuzhev-Riumin, Mikhail Pavlovich Bestuzhev-Riumin, Mikhail Petrovich Bestuzhev-Ryumin, Aleksey Petrovich, Count BET BET equation Bet Shean Bet-a-million Gates Beta beta -blocker beta abstraction beta blocker beta brass beta Canis Majoris stars beta carotene beta catenin beta cell beta Centauri beta Cephei stars beta chalcocite beta circuit beta coefficient beta conversion Beta Crucis Beta Decay beta disintegration beta distribution beta emitter beta factor beta function beta gage beta globulin beta glucanase beta hemolysis beta interaction beta oxidation			beta (beta) hemolysis Beta (disambiguation) Beta (disambiguation) Beta (disambiguation) Beta (disambiguation) Beta (finance) Beta (finance) Beta (fish) Beta (fish) Beta (fish) Beta (investment) Beta (investment) BETA (programming language) BETA (programming language) BETA (programming language) BETA (programming language) Beta - emission Beta - emission Beta - emission beta -blocker beta -blocker beta -blocker beta 2 -interferon Beta 2 -microglobulin beta 2 -microglobulin test Beta 2 microglobulin Beta 2 Technical Refresh Beta 2-Adrenergic Receptor Beta 2-microglobulin Beta 3 Solutions Ltd beta abstraction Beta Activity Beta Activity Beta Activity Beta adrenergic Beta adrenergic Beta adrenergic Beta adrenergic Beta adrenergicblocker Beta adrenergicblocker Beta adrenergicblocker beta agonists beta agonists beta agonists beta agonists Beta Alpha Chapter of Delta Sigma Theta Sorority Beta Alpha Psi Beta Alpha Psi Beta Alpha Psi Epsilon Beta and Advection Model Beta and Advection Model - Deep Beta and Advection Model - Medium Beta and Advection Model - Shallow Beta Assessment Plan Beta Attenuation Monitor beta barrels beta barrels beta barrels beta barrels Beta Beta Beta beta blocker

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

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.