≡
Home
Recent changes
Special pages
Wikipedia
Big Step Semantics
Redirect to:
Operational semantics#Structural operational semantics