[%] Lambda calculus 이거 정의 잘못된거 아니냐?

[익명(125.143)]

이 Substitution 정의 틀린거 아니냐?

이 정의대로면 (람다x.x)[x:=y] = 람다x.y 가 되잖아.

[커헠(msca8h)]

어느거 보고 그렇게 생각한거? - return 0;

[익명(125.143)]

substitution의 정의(3)이 잘못된 거였음 errata 보고 고쳤다