diff --git a/Public/thprog/SS14_Spickzettel.pdf b/Public/thprog/SS14_Spickzettel.pdf
new file mode 100644
index 0000000..b4710a0
Binary files /dev/null and b/Public/thprog/SS14_Spickzettel.pdf differ
diff --git a/Public/thprog/SystemF_und_Reduktionsreihenfolge.tex b/Public/thprog/SystemF_und_Reduktionsreihenfolge.tex
new file mode 100644
index 0000000..f818415
--- /dev/null
+++ b/Public/thprog/SystemF_und_Reduktionsreihenfolge.tex
@@ -0,0 +1,61 @@
+	\documentclass{article}
+	\usepackage{amsmath}
+	\usepackage{nccmath}
+	\DeclareMathSizes{10}{10}{10}{10}
+	\setlength{\parindent}{0pt}
+	\title{System F und Reduktionsreihenfolge}
+	\date{ }
+	\begin{document}
+		\section{Generelles}
+		\subsection{Normale-/Lazy-Reduktion}
+			- pre-order durch Baum ("von unten nach oben auswerten")	\\
+			- leftmost-outermost\\
+			- Argumente zum Schluss auswerten
+			\begin{align*}			
+				pow(a,pow(c,b))\:\:	& mit\;linkem\;pow\;anfangen\\
+									& dann\;a\\
+									& dann\;rechtes\;pow\\
+									& dann\;c\\
+									& dann\;d
+			\end{align*}
+		\subsection{Applikative Reduktion:}
+			- post-order durch Baum ("von oben nach unten")\\
+			- leftmost-innermost\\
+			- als erstes die Argumente auswerten
+			\begin{align*}
+				pow(a,pow(c,b))\:\: & mit\;c\;anfangen
+				\enspace\;\;\;\;\;\;\;\;\;\enspace\;\;\;\;
+											\\
+									& dann\;b\\
+									& dann\;a\\
+									& dann\;rechtes\;pow\\
+									& dann\;linkes\;pow
+			\end{align*}
+		\section{Typherleitung}
+			\subsection{Regeln}
+				
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+		
+	\begin{tiny}
+	\copyright\ Joint-Troll-Expert-Group (JTEG) 2015
+	\end{tiny}
+\end{document}
\ No newline at end of file