Examples of using Lambda-calcul in French and their translations into English
{-}
-
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
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.
