람다 계산법
시대: 초기 이론 · 1930년대~1950년대
알론조 처치가 람다 계산법을 제안했다. 이는 함수 정의와 함수 적용을 위한 형식 체계이다. 람다 계산법은 함수형 프로그래밍의 이론적 기초이자 가장 초기의 타입 시스템 중 하나로 여겨진다.
알론조 처치 (1903~1995)
출처와 근거
An Unsolvable Problem of Elementary Number Theory
American Journal of Mathematics · 출처 유형: paper
Church’s 1936 paper presents lambda-definability and undecidability.
게시일: ·접근일: