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