|
|
|
|
|
|
by mbid
2972 days ago
|
|
|
Let me clarify---some version of typed lambda calculus. The document linked here doesn't seem to deal with the untyped lambda calculus and much less so with properties that are stable under change of representation of computable function. |
|
|