Popular：
Virtualization DNS security formal verification reachability analysis compiler errors macro conflict web extension development framework Bitmap Graphics API inconsistencies All Tags

Paul Blain Levy荣获2025年阿隆佐·邱奇奖

2025-06-23

Paul Blain Levy因其对Call-by-Push-Value (CBPV) 演算的开创性研究荣获2025年阿隆佐·邱奇奖。他的研究将λ演算的纯逻辑形式和应用效应形式的研究统一起来，CBPV成为研究计算和逻辑现象（包括效应、极化、项规范化、类型同构和程序转换）的统一起点。Levy的工作对λ演算的语义理论及其在编程语言建模中的应用做出了突出贡献，涵盖了代数数据类型、操作语义、指称语义和等式理论等多个方面。

(siglog.org)
开发 阿隆佐·邱奇奖