무타입 λ-대수 익명 • 2026-07-11 • 조회수 4 기술 / 수학 / 람다 대수 무타입 -대수 (Untyped Lambda Calculus) 1. 개요 무타입 -대수(Untyped Lambda Calculus)는 알론조 처치(Alonzo Church)가 1930년대에 제안한 함수 정의, 함수 적용, 그리고 변수 바인딩을 다루는 형식 체계로, [[계… 무타입 람다 대수함수형 프로그래밍계산 가능성 +5