Universit¨at T¨ubingen, WSI Sommersemester 2002
Prof. Dr. P. Schroeder-Heister Ubungsblatt 6¨
Ubungen zur Vorlesung ¨ λ-Kalk¨ ul und kombinatorische Logik
Aufgabe 1
Zeigen Sie, daß f¨ur die Kombinatoren B ≡S(KS)K und C≡S(BBS)(KK) gilt:
BM N P wM(N P), CM N P wM P N.
Aufgabe 2
Definieren Sie mit Hilfe von K und S einen Kombinator W mit der Eigenschaft:
W M N wM N N.
Aufgabe 3
(a) Geben sie die B, C und W entsprechenden (Normalformen der) λ-Terme Bλ, Cλ und Wλ an.
(b) Lassen sich Bλ, Cλ und Wλ typisieren, und wenn ja, wie?