1910년 『Principia Mathematica』에서 람다 계산·참조 투명성·타입의 선구적 개념을 읽다 · cho.sh