scrambled
Concept

Self replicator

Modified just now
Books JourneyProgramming Language Theory Statuslearning Tags
  • lambda calculus
  • semantics

Example:

fibo=fix λf. λn. if n=0 or n=1 then 1 else (f (n1))+(f (n2))\text{fibo} = \text{fix}\ \lambda f.\ \lambda n.\ \text{if}\ n = 0\ \text{or}\ n = 1\ \text{then}\ 1\ \text{else}\ (f\ (n - 1)) + (f\ (n - 2))