More like lambda calculus, but for continuous functions.