Interesting. I didn't realize the role of lambda calculus in this context before."The function $f(x)$ is differentiable at $x_0$", where $f(x)$ means not the value of $f$ at point $x$, but the function as a whole.
A similar joke.Person A: Knock, knock. Race condition. Who's there?