|
|
|
|
|
|
by tromp
4045 days ago
|
|
|
Agreed. The Binary lambda calculus http://en.wikipedia.org/wiki/Binary_lambda_calculus features this universal machine: (λ11)(λλλ1(λλλλ3(λ5(3(λ2(3(λλ3(λ123)))(4(λ4(λ31(21))))))
(1(2(λ12))(λ4(λ4(λ2(14)))5))))(33)2)(λ1((λ11)(λ11)))
which parses a binary-encoded lambda term and evaluates its application to the remaining input bits. |
|
|