Lambda calculus
Theoretical computer science
Mathematical logic
Declarative programming
Adjoint functors
Anonymous function
Type theory
Lambda lifting