Big Step Semantics

Redirect to:

• Operational semantics#Structural operational semantics