Algebra der Programmierung

Fragen in etwa:

• Wir haben ja zu beginn Datentypen kennengelernt, nenne einen und ein paar Regeln. (z.B. Bäume, Identitätsregel, Fusionsregel).
• Zusammenhang zu späterem? (Algebra, AlgF, initiale Algebra, Beweis von Lambeks Lemma)
• Identitätsregel, Fusionsregel inkl. Beweis für F-Algebren
• Konstruktion von initialen Algebren, welche Eigenschaften muss es haben? (F finitär, ω-Ketten)

To be continued