anglais

allemand anglais arabe catalan chinois coréen danois espagnol français grec hébreu hindi hongrois italien japonais néerlandais persan polonais portugais roumain russe slovaque suédois tchèque thaï turc ukrainien vietnamien

français

Définition allemand anglais arabe catalan chinois coréen danois espagnol français grec hébreu hindi hongrois italien japonais néerlandais persan polonais portugais roumain russe slovaque suédois tchèque thaï turc ukrainien vietnamien

Favoris

of lambda-calculus

Traduction de "of lambda-calculus" en français

Nous n’avons pas trouvé cette entrée. Affichage de résultats approximatifs. Vérifiez l’orthographe ou proposez d’ajouter ce terme au dictionnaire.

du lambda-calcul

The beta-reduction of lambda-calculus distinguishes sorne functions which are extensionally equal.

La beta-réduction du lambda-calcul distingue certaines fonctions extensionnellement égales.

We build a linear extension of lambda-calculus, named barycentric-calculus, interpreted by the total semantics.

Puis, nous construisons une extension vectorielle du lambda-calcul, le calcul barycentrique, interprété par cette sémantique totale.

Super-promotion can be expressed in the syntax of lambda-calculus with resources or in Systems of nets.

Cette construction peut être exprimée dans la syntaxe du lambda-calcul avec ressources ou dans un système de réseaux.

For that we built an extension of lambda-calculus with frozen terms, noted, that is, terms which cannot reduce.

Dans ce but on construit une extension de lambda-calcul avec termes gelés, c'est à dire des termes qui ne peuvent se réduire.

We will build a categorical model living in a non-concrete Cartesian closed category of sets and relations (relational semantics) which satisfies these conditions, and we will prove that the associated lambda-model enjoys some algebraic properties which make it suitable for modelling non-deterministic extensions of lambda-calculus.

De plus, on montre que le λ-modèle associe possède des propriétés algébriques qui le rendent apte a modéliser des extensions non-déterministes du -calcul.

Finally, we will investigate the problem of whether there exists a non-syntactical model of lambda-calculus belonging to the main semantics which has an r.e. (recursively enumerable) order or equational theory.

Finalement, on étudie la question de l'existence d'un modèle non-syntaxique du λ-calcul appartenant aux sémantiques principales et ayant une théorie équationnelle ou inéquationnelle r.e. (récursivement énumérable).