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