Algorithms
Hindley–Milner
Type theory
FO
Applied mathematics
Theoretical computer science
Mathematics