Übungen zur Vorlesung
Volltext
ÄHNLICHE DOKUMENTE
FK Informatik LS XIV Software Engineering Prof..
10.11.2016 Arbeite Kapitel 1 aus dem Buch Sørensen, Morten Heine B., Urzyczyn, Paweª: Lectures on the Curry- Howard Isomorphism, 1998 soweit durch, dass mindestens die
aus Beispiel 2.1.1 aus Lectures on the Curry-Howard Isomorphism (entspricht Aufgabe 2.7.3 aus Søren- sen, Morten Heine B., Urzyczyn, Paweª: Lectures on the Curry-Howard
Gemeinsame Abgaben von Gruppen bis zu 4 Personen
Zeigen Sie, wie man mittels Disjunktion die boolschen Werte true und false repräsentieren kann, so dass die Repräsentation semantisch korrekt ist (d.h. die Reduktion entspricht
Zeigen Sie, dass jeder Typ nur linear (in der Typlänge) viele
Aufgabe 3 (Kontroll Operatoren) (3 Punkte) Leiten Sie die Reduktionsschritte für die folgenden Kontrolloperatorreduktionen
03.10.2015 Arbeite Kapitel 1 aus dem Buch Sørensen, Morten Heine B., Urzyczyn, Paweª: Lectures on the Curry- Howard Isomorphism, 1998 soweit durch, dass mindestens die