Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Inscrivez-vous gratuitement : plus de résultats et de fonctionnalités
and lambda-calculus
Traduction de "and lambda-calculus" en français
et le lambda-calcul
The models we study are in the process calculus and lambda-calculus tradition.
Les modèles que nous étudions sont dans la tradition des calculs de processus et du lambda-calcul.
Finally, we present a termination criterion for the combination of conditional rewriting and lambda-calculus based on a constrained type system.
Enfin, nous présentons un critère, basé sur un système de types contraints, pour la normalisation forte de la réécriture conditionnelle combinée au lambda-calcul.
We introduce the rewriting calculus, also called the rho-calculus, which generalizes the first order term rewriting and lambda-calculus, and makes possible the representation of the non-determinism.
Nous introduisons le calcul de réécriture, appelé aussi le rho-calcul, qui généralise la réécriture du premier ordre et le lambda-calcul tout en permettant d'exprimer le non-déterminisme.
Abstract: The last few years have seen the development of the rewriting calculus (also called rho-calculus) that uniformly integrates first-order term rewriting and lambda-calculus.
Résumé : Ces dernières années, on a assisté au développement du calcul de réécriture, encore appelé rho-calcul, qui intègre de façon uniforme la réécriture de premier ordre et le lambda-calcul.
It then draws the link between these abstract structures and their representations (both in syntax and semantics), through the use of linearization rules that rely on logic and lambda-calculus.
Puis, dans un second temps, le lien entre ces structures abstraites et leurs représentations concrètes (en syntaxe et en sémantique) est établi par le biais de règles de linéarisation qui exploitent la logique et le lambda-calcul.
Synonymes et analogies de "and lambda-calculus" en anglais
Le mot et l’expression du jour
L’image du jour
Résultats: 5. Exacts: 5. Temps écoulé: 58 ms.
