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.
lambda-terms
Savoir si il existe une méthode prouvablement la plus efficace pour réduire les lambda-termes, et connaître la complexité intrinsèque de cette opération en général sont toujours des questions ouvertes.
Knowing whether there exists a provably most efficient method to reduce lambda-terms, and evaluate the complexity of this operation in general are still open questions.
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.
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.
Dans une troisième et dernière partie, on introduit les distributeurs de types intersections et, inspiré par le travail de Tsukada, Asada et Ong, le développement rigide des lambda-termes.
In a third and last part, we introduce intersection type distributors and, inspired by the work of Tsukada, Asada and Ong, the rigid expansion of lambda-terms.
Avec Alessandro Berarducci, Böhm établit un isomorphisme entre les types de données algébriques strictement positives et les lambda-termes polymorphes, connu depuis comme le codage de Böhm-Berarducci.
Together with Alessandro Berarducci, he demonstrated an isomorphism between the strictly-positive algebraic data types and the polymorphic lambda-terms, otherwise known as Böhm-Berarducci encoding.
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.
Nous montrons que la réduction générée est une extension conservative de la beta-eta-réduction, cela sur l'ensemble des lambda-termes typables avec l'intersection.
We prove that the generated reduction is a conservative extension of beta-eta-reduction on the set of lambda-te'rms typable with intersection.
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é : 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.
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.
D'abord, je donne la syntaxe abstraite des lambda-termes (nous utilisons le système interactif pour évaluer ce code)
First, I give the abstract syntax of lambda-terms (we illustrate it in the interactive system)
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.
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.
