What is the translation of " LAMBDA CALCULUS " in Italian?

• lambda calcolo

Examples of using Lambda calculus in English and their translations into Italian

I will just say one more thing: lambda calculus.
Dico solo una cosa:"lambda calcolo".

Lambda Calculus. Okay, I will just say one more thing.
Okay. Dico solo una cosa:"lambda calcolo.

Higher-order functions, lambda calculus and partial evaluation;
Funzioni di ordine superiore, lambda-calcolo e valutazione parziale;

Lambda calculus. Okay. Well, let me just say one more thing.
Okay. Dico solo una cosa:"lambda calcolo.

Introduction to Higher-Order Logic. Lambda Calculus and Type Theory.
Introduzione alla Logica di Ordine Superiore: Lambda Calcolo e Teoria dei Tipi.

Okay. lambda calculus. Well, let me just say one more thing.
Okay. Dico solo una cosa:"lambda calcolo.

functional explorations of quantum computing based on lambda calculus.
esplorazioni funzionali di calcolo quantico basato su calcolo lambda.

Lambda Calculus as foundation of Functional Programming.
Lambda Calcolo come fondamento della Programmazione Funzionale.

Curry who did some important stuff related to the lambda calculus.
Curry che fece delle cose importanti relative al calcolo lambda.

The eta-rule of lambda calculus can be used to model a static.
L'eta-regola del lambda calcolo puo' essere considerata come un.

expressed in combinatory logic, which has equivalent expressive power to lambda calculus.
espressioni in qualunque sistema che ha potenza equivalente al calcolo lambda.

Fixed-point combinators, which are used in lambda calculus for the same purpose as the first recursion theorem.
Combinatori di punti fissi, che sono usati nel lambda calcolo per alcuni scopi come il primo teorema di ricorsione.

Lambda calculus has played an important role in the development
Il calcolo lambda ha avuto importanti implicazioni nello sviluppo della matematica moderna

In this article the author uses arguments based on lambda calculus to show why software cannot be patented.
In questo articolo l'autore utilizza argomenti basati sul lambda calculus per dimostrare perché il software non può essere brevettato.

their evaluation by introducing lambda calculus.
Stephen Kleene negli anni 1930 nel loro lambda calcolo.

In 1964, Peter Landin is the first to realize Church's lambda calculus can be used to model programming languages.
Nel 1964 Peter Landin, il primo a capire che il lambda calcolo di Church può essere utilizzato per progettare linguaggi di programmazione.

The lambda calculus influenced the design of the LISP programming language
Il lambda calcolo di Church influenzò la creazione del Lisp

It is usually instantiated with, or borrowed from, models of computation such as lambda calculus which make heavy use of higher-order functions.
È tipicamente istanziazione, o trae elementi da, modelli di calcolo come il lambda calcolo, che fanno uso di funzioni di ordine superiore.

Formal calculi such as the lambda calculus and combinatory logic are now studied
Calcoli come il lambda calcolo e la logica combinatoria oggi sono studiati

typed variant of the model of computation known as lambda calculus.
come una variante tipata del lambda calcolo.

way of defining data structures in pure lambda calculus, an abstract, theoretical model of computation that is
Questo è il modo usuale di creare strutture dati nel lambda calcolo puro, un modello di computazione teorico astratto

The lambda calculus, developed by Alonzo Church and Stephen Cole Kleene
Alcuni ritengono infatti che il lambda calcolo, creato da Alonzo Church

MIT developed the Lisp programming language(based on the lambda calculus), the first language with origins in academia to be successful.
John McCarthy sviluppò indipendentemente e ispirato dal lambda calcolo il linguaggio Lisp, il primo linguaggio accademico di successo.

Whereas simply typed lambda calculus has variables ranging over functions,
Come il lambda calcolo è composto da variabili sulle funzioni e relativi binder,

Alonzo Church's lambda calculus of 1936, Emil Post's Formulation 1 of 1936, and
1934 e 1935; il lambda calcolo di Alonzo Church e la Formulation 1 di Emil Post del 1936;

Church and Turing then showed that the lambda calculus and the Turing machine used in Turing's halting
Church e Turing mostrarono altresì che il lambda calcolo e la macchina di Turing, utilizzata dallo stesso Turing nel problema della fermata,

there is no realizer in the language of simply typed lambda calculus as this language is not Turing-complete
nella meta-teoria: non c'è nessun realizzatore nel linguaggio del lambda calcolo tipato, dato che non è Turing

typed languages will be introduced(lambda calculi).
linguaggi tipati paradigmatici di ordine superiore(lambda calcoli).

together with even more expressive typed lambda calculi, including those with dependent types.
insieme ad altri lambda calcoli tipati più espressivi, inclusi quelli con solo tipi dipendenti.

How to use "lambda calculus" in an English sentence

Using lambda calculus to derive time complexity?

Applications to lambda calculus and similar systems.

The parallel reduction of lambda calculus expressions.

A typed lambda calculus with intersection types.

Abstract Computing Machines: A Lambda Calculus Perspective.

Lambda calculus was invented in the 1930s.

We use Lambda Calculus everyday when we program.

How do lambda calculus most basic definitions work?

Lambda Calculus reserves very few symbols for use.

The Lambda Calculus logo is not its logo.

How to use "lambda calcolo" in an Italian sentence

Lambda calcolo e programmazione funzionale Introduzione, definizione dei lambda termini.

Rassegna sulla “Espressività del lambda calcolo tipato semplice”.

Estensioni del lambda calcolo tipato semplice: tipi record e tipi variante. 15/01/98 (Moggi).

Tale calcolo integra il lambda calcolo con primitive object-based.

Corrispondenza tra lambda calcolo e logica combinatoria con estensionalita'.

In quest’ultimo caso, un’occhiata alla normalizzazione nel lambda calcolo tipato.

Esistono anche codifiche che usano il lambda calcolo tipato, come il Sistema F.

Utilizzo del lambda calcolo come dispositivo computazionale astratto.

Immersione del lambda calcolo puro nel lambda calcolo tipato.

Meta-teoria del Lambda Calcolo tipato semplice.