This lesson is for subscribers
You've completed the free preview. Subscribe to unlock every lesson in every course.
Lesson 2022 of 2,872·45. Type Systems and SemanticsPro lesson
Operational Semantics of Conditionals
Small-step and big-step rules for if-then-else statements based on boolean guard evaluation.