Small-step operational semantics
Redirect to:
Operational semantics#Structural operational semantics