Higher Order Automatic Differentiation of Higher Order Functions (Logical Methods in Computer Science, 2022)