Dominique Bourn: On algebraic exponentiation