Parametrised second-order complexity theory with applications to the study of interval computation.