Leram - From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement (Theoretical Computer ... General Issues Book 12065) (English Edition)