Kombinatory punktu stałego
Czasem potrzebujemy kombinatora punktu stałego M z nieco mocniejszą własnością:
\/F.MF F(MF).
Turing zaproponował następujący kombinator:
0 = AA gdzie A = Axy.y{xxy).
®F = (\xy.y(xxy))AF ->0 {>*y-y{AAy))F *0 F(AAF)
= F{@F)
Zauważ, że dla kombinatora Y można udowodnić tylko YF =0 F(YF).
Istnieje nieskończenie wiele kombinatorów punktu stałego.
Zdzisław Spławski: Teoretyczne Podstawy Języków Programowania, Wykład 4. Siła wyrazu rachunku