Eine Lambda-Kalkül-Bewertung mit kirchlichen Ziffern
Ich verstehe, dass eine Kirchenzahl wie λ s aussieht . λ z . s (... n mal ...) scncnc_nλ s . λ z. sλs.λz.s\lambda s. \lambda z. s . Dies bedeutet nichts anderesals „die Funktion s Applied n - mal auf die Funktion z “.szszs\;zsssnnnzzz Eine mögliche Definition der Funktion ist die folgende: t i m e...