BETA ABSTRACTION

  

Copyright © Philip M. Parker, INSEAD. Terms of Use.

BETA ABSTRACTION

Specialty Definition: BETA ABSTRACTION

DomainDefinition

Computing

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. Source: The Free On-line Dictionary of Computing.

Source: compiled by the editor from various references; see credits.

Top     

Crosswords: BETA ABSTRACTION

Specialty definitions using "BETA ABSTRACTION": beta conversion. (references)

Top     

Anagrams: BETA ABSTRACTION

Scrabble® Enable2K-Verified Anagrams

Words within the letters "a-a-a-b-b-c-e-i-n-o-r-s-t-t-t"

-3 letters: bacteriostat, bicarbonates, scatteration.

-4 letters: abreactions, abstraction, attractions, bicarbonate, trabeations.

-5 letters: abreaction, absorbance, aerobatics, attraction, barbitones, carbonates, carnotites, castration, catatonias, cornettist, intrastate, rabbinates, trabeation.

Source: compiled by the editor from various references; see credits.

SCRABBLE® is a registered trademark. All intellectual property rights in and to the game are owned in the U.S.A and Canada by Hasbro Inc., and throughout the rest of the world by J.W. Spear & Sons Limited of Maidenhead, Berkshire, England, a subsidiary of Mattel Inc. Mattel and Spear are not affiliated with Hasbro.

Top     

Alternative Orthography: BETA ABSTRACTION


Hexadecimal (or equivalents, 770AD-1900s) (references)

42 45 54 41      41 42 53 54 52 41 43 54 49 4F 4E

Leonardo da Vinci (1452-1519; backwards) (references)

    

Binary Code (1918-1938, probably earlier) (references)

01000010 01000101 01010100 01000001 00100000 01000001 01000010 01010011 01010100 01010010 01000001 01000011 01010100 01001001 01001111 01001110

HTML Code (1990) (references)

&#66 &#69 &#84 &#65 &#32 &#65 &#66 &#83 &#84 &#82 &#65 &#67 &#84 &#73 &#79 &#78

ISO 10646 (1991-1993) (references)

0042 0045 0054 0041      0041 0042 0053 0054 0052 0041 0043 0054 0049 004F 004E

Encryption (beginner's substitution cypher): (references)

3639543523536535452353754434948

Top     



INDEX

1. Crosswords
2. Anagrams
3. Orthography
4. Bibliography


  

Copyright © Philip M. Parker, INSEAD. Terms of Use.