λ-계산 λ-계산(λ-calculus)은 알론조 처치가 만든 계산 모델이다. λ-추상화(λ-abstraction)와 함수 적용(function application) α-renaming β-reduction λ-계산 목록 타입 없는 λ-계산 단순 타입 λ-계산