Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Publiciteit
lambda calculus
Definitie
1. branch of mathematics that uses function abstraction and application 2. formal system for... See more
NEW
lambdakalkyl n
Okay, I'll just say one more thing: Lambda Calculus.
Okej, jag ska bara säga en sak: lambdakalkyl.
Lambda calculus has greatly influenced functional programming languages, such as LISP, ML and Haskell.
Idag är lambdakalkyl den matematiska grunden för många funktionella programspråk, exempelvis Lisp.
The lambda calculus uses a similar approach.
Lambdakalkyl fungerar på ungefär samma sätt.
Okay. Well, let me just say one more thing, lambda calculus.
Låt mig säga en sak: Lambdakalkyl.
Type theory: lambda calculus, contexts, forms of judgement, simple types, inductive types.
Typteori: Lambda-kalkyl, kontext, omdömen, enkla typer, induktiva typer.
Some programming languages that were influenced by lambda calculus, like LISP, use prefix notation.
Så är fallet i programspråket Lisp, vilket använder prefixnotation.
Er zijn geen resultaten gevonden voor deze term.
Ga naar Premium voor toegang tot miljoenen vertaalvoorbeelden, onbeperkt woorden opslaan en leren, zonder advertenties.

Synoniemen voor lambda calculus in het Engels

Woord & uitdrukking van de dag
Afbeelding van de dag
whipped cream: cream with at least 30% milkfat, whipped
Ontdek het woord
whipped cream
Publiciteit

Resultaten: 6. Exact: 6. Verstreken tijd: 11 ms.