Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
of lambda-calculus
Vertaling van "of lambda-calculus" in Frans
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).
History of Lambda-calculus and Combinatory Logic.
Il est fondé sur le lambda-calcul et la logique combinatoire.
Synoniemen voor of lambda-calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 7. Exact: 7. Verstreken tijd: 36 ms.
