Lambda calculus AND Functional programming
Common descendants