Introduction 1 강의 내용 및 방법 접근방법 –Lambda Calculus, Proof of Correctness 은 강의에서 제 외 원하는 학생에게만 특별히 따로 강의함 리포트