Process calculi
Theoretical computer science
Mathematical logic
Mathematics
Lambda calculus
-calculus
Calculus
Combinatory logic
Sequent
Process calculus