ACM: Mathematics of computing~Lambda calculus

AMS: Computer science / Theory of software / Functional programming and lambda calculus