Examples with "dans le calcul lambda" and their translation in Engels
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.
Dans le calcul lambda, les fonctions peuvent être définies et appliquées de manière unique.
Nous suivons une approche générale où le calcul avec des coercions peut être vu comme une réduction dans le lambda-calcul gardant trace de la partie des termes qui sont des coercions.
We follow a general approach where computing with coercions can be seen as computing in the lambda-calculus but keeping track of which parts of terms are coercions.
Nous étudions le filtrage d'ordre supérieur dans le lambda-calcul pur modulo une restriction de la beta-conversion appelée super-développements.
We study higher-order matching in the pure lambda-calculus modulo a restriction of beta-conversion known as superdevelopments.
Les isomorphismes de type avaient déjà été étudiés dans le cadre du lambda-calcul simplement typé avec paires surjectives mais sans somme.
Type isomorphisms have already been studied within the framework of the simply typed lambda-calculus with surjective pairing but without sums.
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.
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.
En informatique, les fonctions itérées apparaissent comme des cas particuliers de fonctions récursives et interviennent dans le lambda calcul, ou dans des sujets plus spécialisés, comme la sémantique dénotationnelle des programmes informatiques.
In computer science, iterated functions occur as a special case of recursive functions, which in turn anchor the study of such broad topics as lambda calculus, or narrower ones, such as the denotational semantics of computer programs.
Dans le cadre du lambda-calcul simplement typé avec des sommes et le type vide, muni de la βn-équivalence forte, nous montrons que la question de l'unicité est décidable.
In the setting of simply-typed lambda-calculus with sums and the empty type, equipped with the strong beta-eta-equivalence, we show that uniqueness is decidable.
Une autre notion d'approximation dans le lambda-calcul est donné par les types intersections, introduits par Coppo et Dezani dans les années 80.
Another notion of approximation in lambda-calculus is given by intersection types, introduced by Coppo and Dezani in the 80s.
Les contributions de cette thèse sont la formalisation, dans le lambda calcul simplement typé, de deux mécanismes pour améliorer l'efficacité : la validation des calculs impurs et l'optimisation des calculs incrémentaux.
The contributions of this work are the formalization, in the Simply Typed Lambda Calculus, of two mechanisms to achieve efficiency: to validate impure computations and to optimize computations by incrementality.
Elle est dotée d'une dynamique de ré-écriture de preuves (l'élimination des coupures) qui est isomorphe à l'évaluation de programmes (formalisé comme la bêta-réduction dans le lambda-calcul), par la correspondance de Curry-Howard.
Its dynamic of proofs rewriting (cut-elimination) is naturally linked to the evaluation of programs (formalized as the beta-reduction in the Lambda calcul), thanks to the Curry-Howard correspondance.
Le calcul lambda sert de fondation à la logique mathématique et au calcul.
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.
