We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Bien que le lambda-calcul ne prenne traditionnellement en charge que les fonctions à un seul paramètre, nous pouvons créer des fonctions multi-paramètres en utilisant une technique appelée currying.
a Although lambda calculus traditionally supports only single parameter functions, we can create multi-parameter functions using a technique called currying.
Le lambda-calcul constitue le support de la première interprétation.
Lambda-calculus is the framework of the first interpretation.
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.
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.
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.
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.
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é : Les systèmes de types purs sont un formalisme générique au pouvoir d'expressivité élevé, dont l'élégance et la sobriété sont grandes, pour le lambda-calcul usuel.
Abstract: Pure type systems are a generic formalism for usual lambda-calculus, which combine great simplicity and elegance to a high expressivity power.
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.
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.
Le Rg-calcul est alors montré confluent sur des classes d'équivalence de termes, sous certaines restrictions de linéarité sur les motifs, et assez expressif pour simuler la réécriture de termes graphes et le lambda-calcul cyclique
The Rg-calculus is shown to be confluent over equivalence classes of terms, under some linearity restrictions on patterns, and expressive enough to simulate first-order term graph rewriting and cyclic lambda-calculus
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
