Reduction semantics

1. REDIRECT Operational semantics#Reduction semantics {{R with possibilities}}

Category:Operational semantics