Video
Unknown · 0:00
Aaron Stump of Boston College (the auto-transcript spells his name "Stone") argues that explicit alpha-renaming steps from Church's 1941 lambda calculus deserve formal study, even though papers usually wave them away...
Unknown · 0:00
Aaron Stump of Boston College (the auto-transcript spells his name "Stone") argues that explicit alpha-renaming steps from Church's 1941 lambda calculus deserve formal study, even though papers usually wave them away...
Redirecting...