Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
In lambda calculus
Examples with "In lambda calculus" and their translation in Frans
In lambda calculus, functions can be defined and applied uniquely.
Dans le calcul lambda, les fonctions peuvent être définies et appliquées de manière unique.
Although there are no numbers in lambda calculus, we can encode numbers using Church numerals.
Bien qu'il n'y ait pas de nombres dans le lambda-calcul, nous pouvons encoder des nombres en utilisant les nombres de Church.
There is no "True" or "False" in lambda calculus.
Il n'y a pas de "Vrai" ou de "Faux" dans le calcul lambda.
John Barkley Rosser Sr. (December 6, 1907 - September 5, 1989) was an American logician, a student of Alonzo Church, and known for his part in the Church-Rosser theorem, in lambda calculus.
John Barkley Rosser John Barkley Rosser père (6 décembre 1907 - 5 septembre 1989) était un logicien américain, étudiant d'Alonzo Church, connu pour la propriété de Church-Rosser en lambda-calcul.
Andere resultaten
Abstract: This thesis studies the notion of approximation in lambda-calculus from different perspectives.
Résumé : Cette thèse étudie la notion d'approximation dans le lambda-calcul selon différentes perspectives.
Another notion of approximation in lambda-calculus is given by intersection types, introduced by Coppo and Dezani in the 80s.
Une autre notion d'approximation dans le lambda-calcul est donné par les types intersections, introduits par Coppo et Dezani dans les années 80.
In academic settings, lambda calculus is often introduced as theoretical computer science.
Dans les milieux académiques, le calcul lambda est souvent introduit comme informatique théorique.
In mathematics, lambda calculus helps solve complex logic problems effectively.
En mathématiques, le calcul des lambda aide à résoudre efficacement des problèmes de logique complexes.
Data can nevertheless be simulated with appropriate functions as in the lambda calculus.
L'utilisateur peut cependant simuler d'autres données en appelant des fonctions adéquates, comme en lambda-calcul.
Super-promotion can be expressed in the syntax of lambda-calculus with resources or in Systems of nets.
Cette construction peut être exprimée dans la syntaxe du lambda-calcul avec ressources ou dans un système de réseaux.
We study higher-order matching in the pure lambda-calculus modulo a restriction of beta-conversion known as superdevelopments.
Nous étudions le filtrage d'ordre supérieur dans le lambda-calcul pur modulo une restriction de la beta-conversion appelée super-développements.
Alonzo Church in the lambda calculus.
Alonzo Church, avec une théorie appelé le lambda-calcul.
An important theorem, in fact, of lambda calculus is that both strategies reduce to
Un théorème important du lambda-calcul est que les deux stratégies se réduisent à
Synoniemen voor In lambda calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 203. Exact: 4. Verstreken tijd: 128 ms.
