Lambda calculus
Programming paradigms
Physical quantities
Reactive programming
Combinatory logic
Functional reactive programming
Dataflow
Signal
Event
Software engineering
Computing
Evaluation strategy