Answers are grounded in this paper and cite their sources.
The 2024 Alonzo Church Award for Outstanding Contributions to Logic and Computation is presented jointly to Thomas Ehrhard and Laurent Regnier for giving a logical and computational account of differentiation, bringing Taylor expansion to the Curry-Howard correspondence, which had a major impact on programming language semantics.
No takes yet. Share an insight, caveat, or question.
Elli Anastasiadi (2024) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: