Report copyright - Formal Semantics - Cornell University · Dynamic semantics of expr. lang. Values and variables do not single step: v -/-> x -/-> • Values don't step because they're done computing
Please pass captcha verification before submit form