Update index.md

Formal-Systems-Laboratory · Feb 29, 2024 · b2c305c · b2c305c
1 parent 8a774e1
commit b2c305c
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/teaching/2024/cs522/index.md b/teaching/2024/cs522/index.md
@@ -98,3 +98,11 @@ need* and more topics will be added.
 -   Category theory: definition, diagrams, cones and limits, exponentials
 
     -   [Slides](CS522-Spring-2024-Category-Theory-slides.pdf)
+
+    -   [Hand written notes on category theory properties](CS522-Spring-2024-HandWritten-Category-Theory.zip)
+
+-   Lambda Calculus and Combinatory Logic
+
+    - [Slides](CS522-Spring-2024-Lambda-slides.pdf)
+
+    - [Book material on Lambda Calculus and Combinatory Logic](CS522-Spring-2024-Lambda.pdf)