Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
pure lambda-calculus
Examples with "pure lambda-calculus" and their translation in Frans
We study higher-order matching in the pure lambda-calculus modulo a restriction of beta-conversion known as superdevelopments.
Nous étudions le filtrage d'ordre supérieur dans le lambda-calcul pur modulo une restriction de la beta-conversion appelée super-développements.
Besides the pure lambda-calculus itself, the variants are a λ-calculus with explicit substitutions and a lambda-calculus with constructors, matching and a fixpoint operator.
Outre le lambda-calcul lui-même, les variantes sont un lambda-calcul avec des substitutions explicites et un lambda-calcul avec des constructeurs, du filtrage et un opérateur de point fixe.
Andere resultaten
An important theorem, in fact, of lambda calculus is that both strategies reduce to the same final value as long as the reduced expression consists of pure functions and both evaluations terminate.
Un théorème important du lambda-calcul est que les deux stratégies se réduisent à la même valeur, tant que la réduction de l'expression se compose de fonctions pures et que ces deux évaluations se terminent.
Abstract: Pure type systems are a generic formalism for usual lambda-calculus, which combine great simplicity and elegance to a high expressivity power.
Résumé : Les systèmes de types purs sont un formalisme générique au pouvoir d'expressivité élevé, dont l'élégance et la sobriété sont grandes, pour le lambda-calcul usuel.
In mathematical logic, System U and System U- are pure type systems, i.e. special forms of a typed lambda calculus with an arbitrary number of sorts, axioms and rules (or dependencies between the sorts).
En logique mathématique, le System U et le System U - sont des systèmes de types purs, c'est-à-dire des formes spéciales d'un calcul lambda typé avec un nombre arbitraire de sortes, d'axiomes et de règles (ou de relations entre les sortes).
Synoniemen voor pure lambda-calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 5. Exact: 2. Verstreken tijd: 101 ms.
