So bleiben noch zwei Seiten frei. Vorschläge:
* Eine Typvariable, ein Pfeil. Wenn die Kinder größer sind, können sie damit auf getypten Lambdakalkül umsteigen.
* Eine Funktion F, die, gegeben einen Wert f, einen Wert x und einen Wert y, dann f(x) ausgibt, falls die Berechnung von f(x) terminiert, oder y, falls nicht. Das ist mit einfachen Lambdawürfeln eher knifflig.
(Siehe auch [[http://de.wikipedia.org/wiki/Lambda-Kalk%C3%BCl]])
