Pomsets with Transformers
List of ongoing projects and completed theses
Coq materials for Verification School @ Sirius’21
Semantics class @ Neapolis’23
Semantics class @ Constructor’23
Weak memory models course @ Constructor’23
Semantics class @ Constructor and Neapolis’24