From Lambda Calculus to Cybersecurity Through Program Analysis: Essays Dedicated to Chris Hankin on the Occasion of His Retirement - Di Pierro, Alessandra; Malacaria, Pasquale; Nagarajan, Rajagopal (Springer Nature, 2020)
Keywords: Computer Communication Networks; Computer System Implementation; Mathematics; Mathematics and Statistics; Natural Language Processing (NLP); Optimization; Probabilities & applied mathematics; Programming (Mathematics); Software Engineering; Theory of Computation