Signal processing
Mathematics
Digital signal processing
Signal
Mathematical logic
Function
Electrical engineering
Proof theory
Programming language semantics