https://123dok.net/document/q7w468oz-higher-order-interpretations-for-higher-order-complexity.html