Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
term "lambda
Examples with "term "lambda" and their translation in Frans
You may have heard the term "lambda" in maths class.
Guide des tailles Vous avez peut-être déjà entendu le terme de lambda en cours de maths.
Andere resultaten
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.
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.
On propose un algorithme qui pour chaque lambda-terme rend l'ensemble de contraintes que doivent être satisfait pour que le terme soit type.
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.
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.
The algorithm takes in input a system F typed lambda-term, and outputs a typing in dlal if there exists one.
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.
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.
Part I. Among the unsolvable terms of the lambda calculus, the mute ones are those having the highest degree of undefinedness.
Partie I. Parmi les termes non résolubles du lambda-calcul, les termes muets sont ceux dont le "degré d'indéfini" est maximum.
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.
More specifically it aims to define rigorously head normal form reduction of a lambda term using call-by-name reduction.
Plus précisément, elle sert à définir rigoureusement la réduction en forme normale de tête d'un terme du lambda-calcul en utilisant la réduction par appel par nom.
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)
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).
Synoniemen voor term "lambda in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 53. Exact: 1. Verstreken tijd: 207 ms.
