M. Sperber Sommersemester 1997

Funktionale Programmierung

Blatt 9

Abgabe: 3.7.1997

1. [10 Punkte] Geben Sie eine denotationelle Semantik für den erweiterten Lambda-Kalkül mit Call-by-Value-Auswertung an.
2. [5 Punkte] Bestimmen Sie (jeweils mit Beweis) den allgemeinsten Typ von:

   

3. [5 Punkte] Beweisen Sie Satz 4.7 (Subjektreduktion).
4. [5 Punkte] Läßt sich aus dem Hindley-Milner-getypten Lambda-Kalkül der fix-Operator weglassen, ohne daß Ausdruckskraft verloren geht? Wenn ja, warum nicht?
5. [5 Punkte] Sei

   

   Zeigen Sie, daß für alle gilt:

   

   falls . Geben Sie eine Intuition für an.

• Über dieses Dokument ...