Update index.md

Formal-Systems-Laboratory · Feb 13, 2024 · 9bcae7c · 9bcae7c
1 parent 64fdc2c
commit 9bcae7c
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/teaching/2024/cs522/index.md b/teaching/2024/cs522/index.md
@@ -74,3 +74,13 @@ need* and more topics will be added.
 
 -   (not needed for HW2) [Book material on IMP++: Challenging Big-Step SOS, Small-Step SOS, and
     Denotational Semantics](CS522-Spring-2024-IMP++.pdf)
+
+...
+
+-  [Book material on Modular SOS, Evaluation Contexts, and the CHAM](CS522-Spring-2024-MSOS-RSEC-CHAM.pdf)
+
+...
+
+-   Category theory: definition, diagrams, cones and limits, exponentials
+
+    -   [Slides](CS522-Spring-2024-Category-Theory-slides.pdf)