Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
to the lambda-calculus
Examples with "to the lambda-calculus" and their translation in Frans
The introduction to the volume places the contributions in perspective and provides a gentle beginner's introduction to the lambda-calculus, which is and remains the backbone of the whole field.
L'introduction au volume place les contributions en perspective et offre une initiation rapide au lambda-calcul qui est et demeure l'épine dorsale de tout ce domaine de recherche.
We begin by studying under which conditions the combination of a confluent conditional rewrite relation to the lambda-calculus leads to a confluent relation.
Nous commençons par étudier sous quelles conditions la combinaison d'une relation de réécriture conditionnelle confluente au lambda-calcul donne une relation de réécriture confluente.
Andere resultaten
We define evaluation strategies ensuring the confluence of the calcalus and we show that these strategies become trivial for restrictioris of the general rewriting calculus to simpler calculi like the lambda-calculus.
Nous définissons des stratégies d'évaluation garantissant la confluence du calcul et nous montrons que ces stratégies deviennent triviales pour des restrictions du calcul de réécriture général à des calculs plus simples comme le lambda-calcul.
It is an extension of the dependency pairs to the lambda-pi-calculus modulo rewriting.
Il s'agit d'une extension de la notion de paires de dépendances au cas du lambda-pi-calcul modulo réécriture.
We design a translation of functional pure type systems to the lambda-Pi-calculus modulo rewriting based on previous work by Cousineau and Dowek.
Nous concevons une traduction des systèmes de types purs en lambda-Pi calcul modulo réécriture basée sur les travaux de Cousineau et Dowek.
We design a translation of functional pure type systems to the lambda-Pi-calculus modulo rewriting based on previous work by Cousineau and Dowek.
Nous concevons une traduction des systèmes de types purs en lambda-Pi calcul modulo réécriture basée sur les travaux de Cousineau et Dowek.
Type theory is based on the lambda calculus which is purely functional.
La théorie des types est basée sur le lambda calcul qui est purement fonctionnel.
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.
The former gives rise to the calculus Ixr with explicit substitutions, weakenings and contractions that refines the lambda-calculus and beta-reduction.
Cette dernière donne lieu à un calcul de substitutions explicites avec affaiblissements et contractions, qui raffine la beta-reduction.
Alonzo Church in the lambda calculus.
Alonzo Church, avec une théorie appelé le lambda-calcul.
This work is concluded by the description of obstructions for proving the same result for the lambda-calculus.
Enfin, on étudie les obstructions à ce même résultat concernant le lambda-calcul.
It is based on combinatory logic, a version of the lambda calculus that omits the lambda operator.
Il est fondé sur le principe de la logique combinatoire, une version du lambda-calcul qui omet l'opérateur lambda.
It has been proved that the Krivine machine implements correctly the call by name head normal form reduction in the lambda-calculus.
Il a été démontré que la machine de Krivine implante correctement la réduction en forme normale de tête du lambda-calcul, par appel par nom.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 175. Exact: 2. Verstreken tijd: 111 ms.
