Resource approximation for the λμ-calculus.

Sat, 01 Jan 2022 00:00:00 +0100

Davide Barbarossa :
Resource approximation for the λμ-calculus. LICS 2022: 27:1-27:12