Lesson #18 - 13/12/2022
Aggregazione dei criteri
Type rules and operational semantics.