Der SKI-Kalkül ist eine Variante des Lambda-Kalküls, die keine Lambda-Ausdrücke verwendet. Stattdessen werden nur application und die Kombinatoren S , K und I verwendet. In dieser Herausforderung besteht Ihre Aufgabe darin, SKI-Begriffe in β-Normalform in Lambda-Begriffe zu übersetzen ....