Getting started with small-step operational semantics

Getting started with small-step operational semantics

a year ago
Anonymous $5YzO3NGzaX