ACM: Mathematics of computing~Lambda calculus
AMS: Computer science / Theory of software / Functional programming and lambda calculus