Beta reduction is the key principle that resolves the Lambda abstraction and that with the alpha renumbering
---
Send in a voice message: https://podcasters.spotify.com/pod/show/stre/message
Podchaser is the ultimate destination for podcast data, search, and discovery. Learn More