그래서 Lambda Calculurs 기반 언어들은 튜링 완전성을 증명할 때

절차형 언어처럼 분기문이 있고 메모리를 바꿀 수 있다 이런식으로 증명하는게 아니라

SKI 를 증명하더라

놀람 ㄷㄷ