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