A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications (Logical Methods in Computer Science, 2024)