Exemples d'utilisation de Lambda-calcul en Français et leurs traductions en Anglais
{-}
-
Colloquial
-
Official
Lambda-calcul, types et modèles.
C'est un des principes du lambda-calcul.
This is one of the core principles of the lambda calculus.Lambda-calcul, types et modèles.
Lambda-Calculus, Types and Models.Il est fondé sur le lambda-calcul et la logique combinatoire.
It is based on lambda-calculus and combinatorial logic.Le logo d'Haskell est un symbole lambda, car il repose sur le lambda-calcul.
Combinations with other parts of speech
Utilisation avec des noms
le calcul
feuille de calcul
un calcul
ce calcul
méthode de calcul
la feuille de calcul
une feuille de calcul
puissance de calcul
la méthode de calcul
lors du calcul
Plus
Le lambda-calcul peut être typé ou non.
Lambda calculus may be untyped or typed.Turing a montré que ses machines et le lambda-calcul sont équivalents.
Show that Turing machines and lambda calculus are equivalent.Le lambda-calcul nous ramène à la machine de Turing.
The lambda-calculus brought us Turing's machine.Ils constituent ainsi un pont entre le lambda-calcul et les programmes.
They constitute a bridge between lambda-calculus and programs.Le Lambda-calcul est composé de 3 éléments: variables, fonctions et applications.
Lambda calculus is composed of 3 elements: variables, functions, and applications.Résumé: Le calcul de réécriture est un lambda-calcul avec filtrage.
Abstract: The rewriting calculus is a lambda-calculus with pattern matching.Fondé sur le lambda-calcul et la logique combinatoire.
It is based on lambda-calculus and combinatorial logic.Mon domaine de recherche inclut partiellement le lambda-calcul et la théorie des types.
My research domain includes partially lambda-calculus and type theory.Ensuite on étend le lambda-calcul par des constantes booléennes et on propose le système STA_B.
We extend the lambda-calculus by basic boolean constants and we propose the system STA_B.Turing a montré que ses machines et le lambda-calcul sont équivalents.
Later it was shown that computability by Turing machines and lambda calculus are equivalent.La beta-réduction du lambda-calcul distingue certaines fonctions extensionnellement égales.
The beta-reduction of lambda-calculus distinguishes sorne functions which are extensionally equal.Turing a montré que ses machines et le lambda-calcul sont équivalents.
And Turing also showed that Lambda Calculus and Turing machines are mathematically equivalent.L'utilisateur peut cependant simuler d'autres données en appelant des fonctions adéquates, comme en lambda-calcul.
Data can nevertheless be simulated with appropriate functions as in the lambda calculus.Un théorème important du lambda-calcul est que les deux stratégies se réduisent à.
An important theorem, in fact, of lambda calculus is that both strategies reduce to.Le théorème de Church-Rosser est un résultat du lambda-calcul.
For the Grâce au lambda-calcul, ISWIM comporte des fonctions d'ordre supérieur et une portée lexicale des variables.
Being based on lambda calculus ISWIM has higher order functions and lexically scoped variables.Résumé: Cette thèse étudie la notion d'approximation dans le lambda-calcul selon différentes perspectives.
Abstract: This thesis studies the notion of approximation in lambda-calculus from different perspectives.Nous y décrivons un lambda-calcul typé implicitement avec un système de types dont nous démontrons la correction.
We describe an implicitly typed lambda-calculus and a declarative type system for which we prove soundness.Il est fondé sur le principe de la logique combinatoire,une version du lambda-calcul qui omet l'opérateur lambda.
It is based on combinatory logic,a version of the lambda calculus that omits the Bien qu'il n'y ait pas de nombres dans le lambda-calcul, nous pouvons encoder des nombres en utilisant les nombres de Church.
Although there are no numbers in lambda calculus, we can encode numbers using Church numerals.Ce cours s'intéresse à la syntaxe et à la sémantique des langages de programmation,à partir du lambda-calcul.
This course is concerned with the syntax and semantics of programming languages,starting from the lambda-calculus.Le Lambda-calcul(λ-calcul), créé à l'origine par Alonzo Church, est le plus petit langage de programmation au monde.
Lambda calculus(λ-calculus), originally created by Alonzo Church, is the world's smallest programming language.On répondit à sa question par les théorèmes d'incomplétude de Gödel,la machine de Turing et le lambda-calcul de Church.
His question was answered by Gödel's incompleteness proof,Turing's machine and Church's Lambda calculus.Dans les années 1930,l'Église Alonzo a développé le lambda-calcul, une théorie mathématique simple mais puissante des fonctions.
In the 1930s,Alonzo Church developed the lambda calculus, a simple but powerful mathematical theory of functions.Résumé: Nous étudions les propriétés, en particulier la terminaison,des systèmes de types dépendants pour le lambda-calcul et la réécriture.
Abstract: We study the properties, in particular termination,of dependent types systems for lambda-calculus and rewriting.
