Tradução de voz, recursos offline, sinónimos, conjugação, jogos de aprendizado
Publicidade
Una-se a Reverso, é grátis e rápido!
of lambda-calculus
Tradução de "of lambda-calculus" em francês
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.
Sinônimos e analogias para "of lambda-calculus" em inglês
Palavra e Expressão do Dia
Imagem do dia
Sugestões que contenham of lambda-calculus
Resultados: 7. Exatos: 7. Tempo de resposta: 41 ms.
