Complexity theory for spaces of integrable functions (Logical Methods in Computer Science, 2017)