Ciò è vero anche per espressioni in qualunque sistema che ha potenza equivalente al calcolo lambda.
Curry's paradox may also be expressed in combinatory logic, which has equivalent expressive power to lambda calculus.
Si chiama così da Haskell Curry che fece delle cose importanti relative al calcolo lambda.
It is called this after Haskell Curry who did some important stuff related to the lambda calculus.
Ci sono anche esplorazioni funzionali di calcolo quantico basato su calcolo lambda.
Other results
Lambda Calcolo come fondamento della Programmazione Funzionale.
Lambda Calculus as foundation of Functional Programming.
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.
Calcoli come il lambda calcolo e la logica combinatoria oggi sono studiati principalmente come linguaggi di programmazione idealizzati.
Formal calculi such as the lambda calculus and combinatory logic are now studied as idealized programming languages.
Formalismi come Lambda Calcolo e sistemi correlati, sia dal punto di vista semantico che sintattico.
Formalisms like Lambda Calculus and related systems, both from the semantical and the syntactical point of view.
L'eta-regola del lambda calcolo può essere considerata come un
The eta-rule of lambda calculus can be used to model a static
Questo è il modo usuale di creare strutture dati nel lambda calcolo puro, un modello di computazione teorico astratto che è legato da vicino allo Scheme.
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.
introduce una visione del lambda calcolo, basata sulla parametrizzazione
introduces a new lambda calculus parameterized with respect
È 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.
Il sistema F può essere visto come parte del lambda cubo, insieme ad altri lambda calcoli tipati più espressivi, inclusi quelli con solo tipi dipendenti.
System F can be seen as part of the lambda cube, together with even more expressive typed lambda calculi, including those with dependent types.
Studio di versioni estese del lambda calcolo tipato, in particolare di sistemi di tipaggio probabilistici e della loro espressività. Informatica teorica
Study of extended versions of the typed lambda calculus, in particular of probabilistic typing systems and their expressivity.
