Premio Alonzo Church 2025: Unificando la Investigación en Cálculo Lambda
2025-06-23
Paul Blain Levy recibió el Premio Alonzo Church 2025 por su trabajo innovador en el cálculo Call-by-Push-Value (CBPV). Su investigación unificó las corrientes separadas de investigación en cálculo lambda lógico puro y cálculo lambda aplicado con efectos. El CBPV sirve como un marco unificador para el estudio de fenómenos computacionales y lógicos, incluyendo efectos, polarización, normalización de términos, isomorfismos de tipo y transformaciones de programa. Las contribuciones de Levy abarcan tipos de datos algebraicos, semántica operacional, semántica denotacional y teorías ecuacionales, avanzando significativamente la teoría semántica del cálculo lambda y su aplicación al modelado de lenguajes de programación.
Desarrollo
Premio Alonzo Church