Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
lambda-terms
Vertaling van "lambda-terms" in Frans
lambda-termes
lambda termes
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
These systems are equivalent to simply-typed lambda-terms with recursion, and can therefore be studied using semantic methods.
Ces systèmes sont équivalents au lambda-calcul simplement typé avec récursion, et peuvent donc être étudiés à l'aide d'outils sémantiques.
Infinite behaviors are obtained through a syntactical fixed-point operator, which is used to give a translation of lambda-terms.
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.
Efficient algorithms were discovered for abstract categorial grammars of linear and almost linear lambda-terms, while it is known the recognition problem is decidable but non-elementary in general.
Des algorithmes d'analyse efficaces ont été découverts pour les grammaires catégorielles abstraites de termes linéaires et quasi-linéaires, alors que le problème de l'analyse est non-élémentaire dans sa forme la plus générale.
In order to lead the study, we use an alternative representation of both simply-typed lambda-terms and their typings as games.
Afin de mener cette étude à bien, nous utiliserons une représentation abstraite des notions de λ-termes et de typages, sous forme de jeux.
Thanks to these results, we will show it is possible to build in a direct way, recognizers for grammars of almost affine lambda-terms as Datalog programs.
Grâce à ces résultats, nous montrerons qu'il est possible de construire de manière directe, un reconnaisseur dans le langage Datalog, pour des grammaires catégorielles abstraites de λ-termes quasi-affines.
BindLib This library provides tools to write programs manipulating data structures with binders (like lambda-terms or quantified formulae).
BindLib Cette bibliothèque vous offre des outils pour écrire des programmes qui manipulent des données structurées avec lieurs (comme les lambda termes ou les formules quantifiées).
The fixed-point expansion of translated lambda-terms corresponds to the generation of infinite plays from the finite views of an innocent strategy.
L'expansion du point fixe dans un lambda terme traduit corresponds à la génération de parties infinies à partir des vues finies d'une stratégie innocente.
First, I give the abstract syntax of lambda-terms (we illustrate it in the interactive system)
D'abord, je donne la syntaxe abstraite des lambda-termes (nous utilisons le système interactif pour évaluer ce code)
Synoniemen voor lambda-terms in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 16. Exact: 16. Verstreken tijd: 23 ms.
