A Calculus of Delayed Reductions. - Steffen van Bakel; Nicolas Wu; Emma Tye (PPDP, 2023)