|
|
|
|
|
|
by kd0amg
2504 days ago
|
|
|
"Receiving the source code" of an argument in lambda calculus is an accident of notation. The source code is not observable by the function it is passed to. Confluence implies that there is no way within lambda calculus to distinguish the result of reducing a term from the term itself. |
|
|