Homework 3: Operational Semantics

First submission: Tuesday, September 19th, at 11:59 PM

Second submission: Tuesday, September 26th, at 11:59 PM

Problems

This is a written homework. The problems can be found here. If you want to use LaTeX to write your answers, you can find the template here. Submit your answers on Gradescope.