Advertising
Register for free: access more results and features
lambda calculus
Definition
Translation of "lambda calculus" in Italian
Definition NEW
Formal calculi such as the lambda calculus and combinatory logic are now studied as idealized programming languages.
Calcoli come il lambda calcolo e la logica combinatoria oggi sono studiati principalmente come linguaggi di programmazione idealizzati.
The eta-rule of lambda calculus can be used to model a static
L'eta-regola del lambda calcolo può essere considerata come un
There are also functional explorations of quantum computing based on lambda calculus.
Ci sono anche esplorazioni funzionali di calcolo quantico basato su calcolo lambda.
Curry's paradox may also be expressed in combinatory logic, which has equivalent expressive power to lambda calculus.
Ciò è vero anche per espressioni in qualunque sistema che ha potenza equivalente al calcolo lambda.
introduces a new lambda calculus parameterized with respect
introduce una visione del lambda calcolo, basata sulla parametrizzazione
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.
Algebraic approach to lambda calculus
Approccio algebrico al lambda calcolo
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.
Many modern functional programming languages have been described as providing a "thin veneer" over the lambda calculus, and many are easily described in terms of it.
Diversi linguaggi di programmazione funzionali moderni vengono appunto descritti come un «sottile rivestimento» al lambda calcolo o essere spiegati attraverso di esso.
Study of extended versions of the typed lambda calculus, in particular of probabilistic typing systems and their expressivity.
Studio di versioni estese del lambda calcolo tipato, in particolare di sistemi di tipaggio probabilistici e della loro espressività. Informatica teorica
Church encoding is a usual way of defining data structures in pure lambda calculus, an abstract, theoretical model of computation that is closely related to Scheme.
Questo è il modo usuale di creare strutture dati nel lambda calcolo puro, un modello di computazione teorico astratto che è legato da vicino allo Scheme.
The lambda calculus influenced the design of the LISP programming language and functional programming languages in general.
Il lambda calcolo di Church influenzò la creazione del Lisp e della famiglia dei linguaggi per computer conosciuti in generale come linguaggi di programmazione funzionale.
Modified realizability does not justify Markov's principle, even if classical logic is used in the meta-theory: there is no realizer in the language of simply typed lambda calculus as this language is not Turing-complete and arbitrary loops cannot be defined in it.
La realizzabilità modificata non giustifica il principio di Markov, anche se si usa la logica classica nella meta-teoria: non c'è nessun realizzatore nel linguaggio del lambda calcolo tipato, dato che non è Turing completo e non si possono definire cicli arbitrari.
Synonyms and analogies of "lambda calculus" in English
Word & Expression of the day
Image of the day
Results: 27. Exact: 27. Elapsed time: 20 ms.
