🎒 Monad Nomad

❯

❯

Differential Lambda Calculus

Differential Lambda Calculus

Created 17 May 2024Updated 19 May 20241 min read

λ-calculus

Website
Authors
- Thomas Ehrhard
- Laurent Regnier

Graph View

Created with Quartz v4.5.2 © 2025

👩🏼‍💻 GitHub
🦋 Bluesky
🐘 Mastodon
🗞️ RSS