Small-step/Structural operational semantics (SOS)

A style of semantics which defines evaluation via Evaluation statement/judgement of the form $t\to t^{\prime }$, specifying how a term reduces by one atomic step at a time until reaching a Normal form.