Getting started with small-step operational semantics

Getting started with small-step operational semantics

2 years ago
Anonymous $5YzO3NGzaX