Software engineering
Unification
Type system
Admissible rule
Type inference
Symbol
Hindley–Milner
Entailment
Function
Type theory
Logic
Mathematics