"lambda kalkuel" in English Lambda-Kalkül {n} lambda calculus Detailed translations for "lambda kalkuel" das Lambda-Kalkül{neuter} Lambda-Kalkül lambda calculus