PURE LAMBDA-CALCULUS

  

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

PURE LAMBDA-CALCULUS

Specialty Definition: PURE LAMBDA-CALCULUS

DomainDefinition

Computing

Pure lambda-calculus Lambda-calculus with no constants, only functions expressed as lambda abstractions. (1994-10-27). Source: The Free On-line Dictionary of Computing.

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

Top     

Crosswords: PURE LAMBDA-CALCULUS

Specialty definitions using "PURE LAMBDA-CALCULUS": delta reduction, domain theorylambda expression. (references)

Top     

Alternative Orthography: PURE LAMBDA-CALCULUS


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

50 55 52 45      4C 41 4D 42 44 41 2D 43 41 4C 43 55 4C 55 53

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

    

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

01010000 01010101 01010010 01000101 00100000 01001100 01000001 01001101 01000010 01000100 01000001 00101101 01000011 01000001 01001100 01000011 01010101 01001100 01010101 01010011

HTML Code (1990) (references)

&#80 &#85 &#82 &#69 &#32 &#76 &#65 &#77 &#66 &#68 &#65 &#45 &#67 &#65 &#76 &#67 &#85 &#76 &#85 &#83

ISO 10646 (1991-1993) (references)

0050 0055 0052 0045      004C 0041 004D 0042 0044 0041 002D 0043 0041 004C 0043 0055 004C 0055 0053

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

505552392463547363835153735463755465553

Top     



INDEX

1. Crosswords
2. Orthography
3. Bibliography


  

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