2025년 앨런조 처치상: 람다 계산 연구의 통합
2025-06-23
폴 블레인 레비는 콜바이푸시밸류(CBPV) 계산에 대한 획기적인 연구로 2025년 앨런조 처치상을 수상했습니다. 그의 연구는 순수한 논리적 람다 계산과 효과를 포함하는 응용된 람다 계산의 별개 연구 흐름을 통합했습니다. CBPV는 효과, 분극화, 항 정규화, 타입 동형, 프로그램 변환 등 계산 및 논리 현상을 연구하기 위한 통합적인 프레임워크 역할을 합니다. 레비의 공헌은 대수적 데이터 타입, 연산적 의미론, 의미론적 의미론, 등식 이론에 이르며, 람다 계산의 의미론적 이론과 프로그래밍 언어 모델링에 대한 응용을 크게 발전시켰습니다.
더 보기
개발
앨런조 처치상