Report copyright - Teil 1: Funktionale Programmierung Kapitel 3 Lambda Kalkül€¦ · Redex Ein λ-Term der Form (λx. t1) t2 heißt Redex. β-Reduktion β-Reduktion entspricht der Ausführung der
Please pass captcha verification before submit form
Please pass captcha verification before submit form