Computability theory
Lambda calculus
Arrow
Quiver
Function
Natural deduction
Normalisation by evaluation
Mathematics
Mathematical logic
Theoretical computer science