Download for Windows Premium
Oferta especial para descobrir o Premium
-50% vitalício em todas as assinaturas
Inscreva-se Iniciar sessão com o Google Iniciar sessão com o Apple
Reverso Premium
Publicidade
lambda calculus
Definição
1. branch of mathematics that uses function abstraction and application 2. formal system for... Ver mais
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.
Não foram achados resultados para esta acepção.

Sinônimos e analogias para "lambda calculus" em inglês

Palavra e Expressão do Dia
Imagem do dia
whisk: kitchen tool for whipping ingredients
Descubra o significado
whisk
Publicidade

Resultados: 6. Exatos: 6. Tempo de resposta: 6 ms.