Lambda calculus
Computability theory
Fixed-point combinator
Combinatory logic
Sheaf
Theoretical computer science
Mathematics
Applied mathematics