A Calculus of Delayed Reductions.

Steffen van Bakel, Nicolas Wu, Emma Tye

Browse the full PPDP paper archive.