Hallo Nico,
eine Frage dazu: CNF ist doch immer in KNF auch ohne die Bed. mit dem Lambdaübergang, da bei beiden dies nur unter der Voraussetzung erlaubt ist, das Lamdba bei S vorkommt und S nicht auf einer der rechten Seiten.
Falls ich falsch liege, gerne berichtigen.
Gruß