Resource approximation for the λμ-calculus.

Davide Barbarossa

Browse the full LICS paper archive.