EasyChair Smart Slide
Resource Approximation for the Lambda-Mu-Calculus
Resource Approximation for the Lambda-Mu-Calculus