Mathematics
Theoretical computer science
Logic
Abstraction
Process calculi
-calculus
Lambda calculus
Process calculus
Limit of a function
Quantifier
Sheaf
Jet bundle