Differential Lambda Calculus 🌱Planted 17 May 2024 🌿Tended 18 May 2026 📖6 words 🕓~1 min read λ-calculus Website Authors Thomas Ehrhard Laurent Regnier