Lesson #18 - 13/12/2022
Conditions d’achèvement
Type rules and operational semantics.