지금 Introduction to Lambda Calculus 4장 연습문제 풀고 있는데


4.5(ii)를 2주 동안 붙잡고 있습니다.

제가 다니는 대학교에는 이쪽 연구하시는 교수님은 안 계시더라고요.

A.Visser lambda-calculus라고 구글에 쳐보니 Visser 위상수학 어쩌고 뜨더군요.

너무 어려워서 읽기를 포기했어요.


아무튼 이 문제의 풀이를 얻고 싶은데 어떻게 해야할까요?