마켓컬리2020년 6월 17일기타Lambda Calculus에 대해 알아보자람다 대수의 표현식 구성과 beta reduction 기반 치환 과정을 설명했습니다.\n변수 충돌 회피와 Church numeral을 활용한 산술 표현까지 다뤘습니다.#lambda calculus#functional programming1700