む

E の中身が lambda だったら変換対象外?
そうなら意味的に整合してるカンジ。

• (lambda (x) (lambda (x) y))
  • これは中の lambda が if y is free in E なのでそのまま
• (lambda (x) (lambda (y) y))
  • これは中の lambda が if y is not free in E なので外の引数だけ変換?
• (lambda (x) (lambda (x) x))
  • これは中の lambda が if y is not free in E なので外の引数だけ変換?
• (lambda (x) (lambda (y) x))
  • これは中の lambda が if y is not free in E なので外の引数だけ変換?

てーコト?