diff --git a/README.md b/README.md
index 129087dda265f38fb8bb9158d736823a6be94b00..b063440fbef2848160593447c0547e25c16bb66d 100644
--- a/README.md
+++ b/README.md
@@ -54,6 +54,8 @@ The syllabus is organized in four main segments of five lectures each.
   *   ([slides 03](slides/fpottier-03.pdf),
        [slides without animations 03](slides/fpottier-printing-03.pdf)).
 * (04/10/2023) Closure conversion and defunctionalization (FP).
+  *   ([slides 04](slides/fpottier-04.pdf),
+       [slides without animations 04](slides/fpottier-printing-04.pdf)).
 * (11/10/2023) The CPS transformation (FP).
 
 ### Semantic Proofs of Type Soundness and Logical Relations
diff --git a/slides/fpottier-04.pdf b/slides/fpottier-04.pdf
index 8cb65ad9d2a94a45bb9ad316e6c252e9cd80d531..5b302533ffe613e1f2ce173cbe3894a073cea089 100644
Binary files a/slides/fpottier-04.pdf and b/slides/fpottier-04.pdf differ
diff --git a/slides/fpottier-printing-04.pdf b/slides/fpottier-printing-04.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..37fd01eea45ef757113d418a28718eeab7f06e60
Binary files /dev/null and b/slides/fpottier-printing-04.pdf differ