[Haskell'26] Lightning Talk: Formalizing explicit alpha-equivalence
ACM SIGPLAN · 10:07 · Watch on YouTube
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...