From b2c305c828236e595f521428f14be4b9bf81c8da Mon Sep 17 00:00:00 2001 From: Grigore Rosu Date: Thu, 29 Feb 2024 10:50:24 -0600 Subject: [PATCH] Update index.md --- teaching/2024/cs522/index.md | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/teaching/2024/cs522/index.md b/teaching/2024/cs522/index.md index 71167c0..c600c6c 100644 --- 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)