“…In [7], a typed lambda calculus in the framework of an extension of Real PCF [6,17,22] was introduced in which in particular continuously differentiable and more generally Lipschitz functions can be defined. Given an expression representing a real-valued function of a real variable in this language, one is able to evaluate the expression on an argument, representing an interval, but also evaluate the generalised derivative, i.e., the L-derivative, equivalently the Clarke gradient, of the expression on an interval.…”