Alonzo-Church-Award 2025: Vereinheitlichung der Lambda-Kalkül-Forschung
2025-06-23
Paul Blain Levy erhielt den Alonzo-Church-Award 2025 für seine bahnbrechende Arbeit am Call-by-Push-Value (CBPV)-Kalkül. Seine Forschung vereinte die getrennten Forschungszweige des reinen logischen und des angewandten Lambda-Kalküls mit Effekten. CBPV dient als vereinheitlichendes Framework für die Untersuchung von rechnerischen und logischen Phänomenen, darunter Effekte, Polarisierung, Termnormalisierung, Typisomorphismen und Programmtransformationen. Levys Beiträge umfassen algebraische Datentypen, operationelle Semantik, denotationale Semantik und Gleichungstheorien und bringen die semantische Theorie des Lambda-Kalküls und ihre Anwendung auf die Modellierung von Programmiersprachen deutlich voran.
Mehr lesen
Entwicklung
Alonzo-Church-Award