From Lambda Calculus to Cybersecurity Through Program Analysis Essays Dedicated to Chris Hankin on the Occasion of His Retirement Di Pierro, Alessandra Heftet / 2020 / Engelsk
