Examples with "des 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.
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.
Andere resultaten
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.
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)
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.
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.
Toutes les notions primitives de la logique du premier ordre et de la théorie des ensembles, valeurs de vérité, connecteurs, quantificateurs, appartenance et égalité, y sont traduites par des termes du lambda-calcul enrichi de quelques constantes.
All the primitive notions of first-order logic and set theory, including truth values, connectives and quantifiers, set-membership and set-equality, get a canonical interpretation as terms of the lambda-calculus with only a few term constants added.
La présentation de la machine de Krivine que nous donnons ici s'appuie sur la notation des termes du lambda-calcul par indices de de Bruijn et suppose que les termes dont elle calcule la forme normale de tête sont clos.
The presentation of the Krivine machine given here is based on notations of lambda terms that use de Bruijn indices and assumes that the terms of which it computes the head normal forms are closed.
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.
On propose un algorithme qui pour chaque lambda-terme rend l'ensemble de contraintes que doivent être satisfait pour que le terme soit type.
We propose an algorithm Pi returning, for every lambda-term, a set of constraints that need to be satisfied in order to type the term.
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.
The fixed-point expansion of translated lambda-terms corresponds to the generation of infinite plays from the finite views of an innocent strategy.
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.
L'algorithme prend en entrée un lambda-terme typé dans le système F et renvoie un typage dans dlal si il en existe un.
The algorithm takes in input a system F typed lambda-term, and outputs a typing in dlal if there exists one.
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.
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.
