diff --git a/teaching/2024/cs522/CS522-Spring-2024-PL-CCC.pdf b/teaching/2024/cs522/CS522-Spring-2024-PL-CCC.pdf
new file mode 100644
index 0000000..38f67ad
Binary files /dev/null and b/teaching/2024/cs522/CS522-Spring-2024-PL-CCC.pdf differ
diff --git a/teaching/2024/cs522/CS522-Spring-2024-Simply-Typed-Lambda-Calculus.pdf b/teaching/2024/cs522/CS522-Spring-2024-Simply-Typed-Lambda-Calculus.pdf
new file mode 100644
index 0000000..677c26b
Binary files /dev/null and b/teaching/2024/cs522/CS522-Spring-2024-Simply-Typed-Lambda-Calculus.pdf differ