diff --git a/slides/denotational_semantics.pdf b/slides/denotational_semantics.pdf
new file mode 100644
index 0000000..93a23fe
Binary files /dev/null and b/slides/denotational_semantics.pdf differ
diff --git a/slides/fixed_points.pdf b/slides/fixed_points.pdf
new file mode 100644
index 0000000..0767215
Binary files /dev/null and b/slides/fixed_points.pdf differ
diff --git a/slides/summary_1.pdf b/slides/summary_1.pdf
new file mode 100644
index 0000000..867756b
Binary files /dev/null and b/slides/summary_1.pdf differ
diff --git a/slides/summary_2.pdf b/slides/summary_2.pdf
new file mode 100644
index 0000000..170a1d4
Binary files /dev/null and b/slides/summary_2.pdf differ