Tradução de voz, recursos offline, sinónimos, conjugação, jogos de aprendizado
Publicidade
Registe-se gratuitamente: aceda a mais resultados e funcionalidades
and lambda-calculus
Tradução de "and lambda-calculus" em francês
et le lambda-calcul
The models we study are in the process calculus and lambda-calculus tradition.
Les modèles que nous étudions sont dans la tradition des calculs de processus et du lambda-calcul.
Finally, we present a termination criterion for the combination of conditional rewriting and lambda-calculus based on a constrained type system.
Enfin, nous présentons un critère, basé sur un système de types contraints, pour la normalisation forte de la réécriture conditionnelle combinée au lambda-calcul.
We introduce the rewriting calculus, also called the rho-calculus, which generalizes the first order term rewriting and lambda-calculus, and makes possible the representation of the non-determinism.
Nous introduisons le calcul de réécriture, appelé aussi le rho-calcul, qui généralise la réécriture du premier ordre et le lambda-calcul tout en permettant d'exprimer le non-déterminisme.
Abstract: The last few years have seen the development of the rewriting calculus (also called rho-calculus) that uniformly integrates first-order term rewriting and lambda-calculus.
Résumé : Ces dernières années, on a assisté au développement du calcul de réécriture, encore appelé rho-calcul, qui intègre de façon uniforme la réécriture de premier ordre et le lambda-calcul.
It then draws the link between these abstract structures and their representations (both in syntax and semantics), through the use of linearization rules that rely on logic and lambda-calculus.
Puis, dans un second temps, le lien entre ces structures abstraites et leurs représentations concrètes (en syntaxe et en sémantique) est établi par le biais de règles de linéarisation qui exploitent la logique et le lambda-calcul.
Assine o Premium para desbloquear milhões de exemplos de tradução, salvar e aprender vocabulário sem limites e usar o serviço sem anúncios.
Sinônimos e analogias para "and lambda-calculus" em inglês
Palavra e Expressão do Dia
Imagem do dia
Resultados: 5. Exatos: 5. Tempo de resposta: 57 ms.
