Download for Windows Premium
Registrera Connect with Google Connect with Apple
Reverso Premium
Reklam
lambda calculus
Definition
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.
Inga resultat hittades för denna betydelse.
Skaffa Premium för att få tillgång till miljontals översättningsexempel, spara och lära dig obegränsat med ordförråd – helt utan annonser.

Synonyms and analogies of "lambda calculus" in engelska

Dagens ord och uttryck
Dagens bild
crow: large black bird known for its intelligence
Upptäck dagens ord
crow
Reklam

Resultat: 6. Exakt: 6. Tidsåtgång: 12 ms.

Register över ord: 1-300, 301-600, 601-900

Register över uttryck: 1-400, 401-800, 801-1200

Register över fraser: 1-400, 401-800, 801-1200