# Programming language theory
---
- lambda calculus
Garbage collection (GC)