What is the translation of " LAMBDA CALCOLO " in English?

• lambda calculus

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

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

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

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

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

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

Il lambda calcolo puro; tipi e rappresentazione dei dati in lambda calcolo;
Pure lambda-calculus; types and data representation; systems for the type inference.

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

Studio di versioni estese del lambda calcolo tipato, in particolare di sistemi di tipaggio probabilistici e della loro espressivitÃ.
Study of extended versions of the typed lambda calculus, in particular of probabilistic typing systems and their expressivity.

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

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

Introduce una visione del lambda calcolo, basata sulla parametrizzazione.
Introduces a new lambda calculus parameterized with respect.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

How to use "lambda calcolo" in an Italian sentence

Immersione del lambda calcolo puro nel lambda calcolo tipato.

Meta-teoria del Lambda Calcolo non tipato.

Meta-teoria del Lambda Calcolo tipato semplice.

Utilizzo del lambda calcolo come dispositivo computazionale astratto.

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

Corrispondenza tra lambda calcolo e logica combinatoria con estensionalita'.

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

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

Il lambda calcolo come modello per i linguaggi funzionali. 2.

How to use "lambda calculus" in an English sentence

OK, back to the lambda calculus (i.e.

Lambda Calculus - are these two expressions equivalent?

Animals are not graphs in the lambda calculus sector.

Improving lambda calculus using wearable archetypes.

The Lambda Calculus might be an exchange of ideas.

Lambda calculus was invented in the 1930s.

but the lambda calculus here is type free.

Just like in lambda calculus with eta reduction.

Analyzing lambda calculus and a* search with DerfAlbyn.

Are these 2 lambda calculus terms equivalent?