FK Informatik LS XIV Software Engineering Prof. Dr. Jakob Rehof Dr. Boris Düdder, MSc. Jan Bessai, MSc. Andrej Dudenhefner
Volltext
ÄHNLICHE DOKUMENTE
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
10.11.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
17.11.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
Geben sie formale Beweise (Deduktionen) für die drei Aussagen aus Beispiel 3.1.2 aus dem Buch Sørensen, Morten Heine B., Urzyczyn, Paweª: Lectures on the Curry-Howard Isomorphism,