Examples with "de lambda-termes" 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.
Pour chaque nombre naturel n > 1, nous introduisons deux ensembles infinis et récursifs de lambda-termes, mn et gn.
For each natural number n > 1, we introduce two infinite and recursive sets mn and gn.
Résumé : Le but de cette thèse est d'étudier la somme et le zéro dans deux principaux cadres : les isomorphismes de types et la normalisation de lambda-termes.
Abstract: The goal of this thesis is to study the sum and the zero within two principal frameworks: type isomorphisms and the normalization of lambda-terms.
Andere resultaten
D'autre part, l'adéquation de la syntaxe, portée par la notion de preuve, à la sémantique de Montague, portée par la notion de lambda-terme, s'illustre dans la correspondance de Curry-Howard.
On the other hand, the appropriateness of syntax, with the notion of proof, to Montague's semantics, with lambda-terms, appears in the Curry-Howard correspondence.
Cette thèse étudie la construction automatique de représentations sémantiques comme lambda-termes simplement typés.
This thesis discusses the automatic construction of semantic representations as simply typed lambda termes.
Résumé : Cette thèse étudie la construction automatique de représentations sémantiques comme lambda-termes simplement typés.
Abstract: This thesis discusses the automatic construction of semantic representations as simply typed lambda termes.
Ehrhard et Regnier ont introduit le développement de Taylor des lambda-termes : on peut voir un lambda-terme comme une série infinie des ses approximations linéaires.
Ehrhard and Regnier introduced the Taylor expansion of lambda-terms: one can see a lambda-term as an infinite formal sum of its linear approximants.
Enfin, nous adaptons l'algorithme de Réduction optimale de Lamping pour les lambda-termes typables dans Soft linear logic (sll), une logique qui caractérise le temps polynomial.
Finally, we adapt Lamping's Optimal reduction algorithm to the lambdaterms typable in Soft linear logic (sll), also characterising polynomial time.
Nous devons encore recourir au système S et nous montrons que tout terme est typable de façon non triviale avec des types infinis et que l'on peut extraire de ces typages des informations sémantiques comme l'ordre (arité) de n'importe quel lambda-terme.
We must once more resort to system S and we show that every term is typable in a non-trivial way with infinite types and that one can extract semantical information from those typings e.g. the order (arity) of any lambda-term.
Résumé : L'isomorphisme de Curry-Howard est l'idée que les preuves en déduction naturelle peuvent être mises en correspondance avec lambda-termes de telle manière que cette correspondance est préservée par la normalisation.
Abstract: The Curry-Howard isomorphism is the idea that proofs in natural deduction can be put in correspondence with lambda terms in such a way that this correspondence is preserved by normalization.
Guide des tailles Vous avez peut-être déjà entendu le terme de lambda en cours de maths.
You may have heard the term "lambda" in maths class.
Dans ce but on construit une extension de lambda-calcul avec termes gelés, c'est à dire des termes qui ne peuvent se réduire.
For that we built an extension of lambda-calculus with frozen terms, noted, that is, terms which cannot reduce.
Pourtant, de nombreux langages de programmation fonctionnels modernes sont désormais aisément décrits en termes de lambda-calcul.
Many modern functional programming languages have been described as providing a "thin veneer" over the lambda calculus, and many are easily described in terms of it.
Les comportements infinis sont obtenus grâce à un opérateur de point fixe, qui est en particulier utilisé pour donner une traduction des lambda termes.
Infinite behaviors are obtained through a syntactical fixed-point operator, which is used to give a translation of lambda-terms.
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.
