Speaking of names, in the abstract of the paper they mention:
> Curry (“Composition”, 1948)
And suddenly I was like wow I wonder if the concept of currying was invented by this guy so I look it up. Turns out that while someone else is credited for inventing currying, it’s named after this Curry guy indeed. And more things are named after him, including the Haskell programming language.