Prêmio Alonzo Church de 2025: Unificando a Pesquisa em Lambda Cálculo

Paul Blain Levy recebeu o Prêmio Alonzo Church de 2025 por seu trabalho inovador no cálculo Call-by-Push-Value (CBPV). Sua pesquisa unificou as correntes separadas de pesquisa em lambda cálculo lógico puro e aplicado com efeitos. O CBPV serve como uma estrutura unificadora para o estudo de fenômenos computacionais e lógicos, incluindo efeitos, polarização, normalização de termos, isomorfismos de tipo e transformações de programa. As contribuições de Levy abrangem tipos de dados algébricos, semântica operacional, semântica denotacional e teorias equacionais, avançando significativamente a teoria semântica do lambda cálculo e sua aplicação à modelagem de linguagens de programação.