The correct terminology should not be "currying" but "schönfinkelisation", at least according to Church's original lambda calculus paper 🙃
Conversation
Surely "schönfinkeling"? Also to stick with ASCII: "schoenfinkeling" :) And wasn't Frege using this before Schönfinkel?
1
2
