Categories

Categories:

Formal systems
Lambda calculus
Programming language theory
Mathematical logic
Rewriting systems
Unification (computer science)