From 9bcae7c24a31efd29d532a9130ac4b29c75e4095 Mon Sep 17 00:00:00 2001 From: Grigore Rosu Date: Tue, 13 Feb 2024 10:51:48 -0600 Subject: [PATCH] Update index.md --- teaching/2024/cs522/index.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/teaching/2024/cs522/index.md b/teaching/2024/cs522/index.md index 0e11c29..8f64e0a 100644 --- 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)