Examples with "comme le lambda-calcul" and their translation in Engels
We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Nous définissons des stratégies d'évaluation garantissant la confluence du calcul et nous montrons que ces stratégies deviennent triviales pour des restrictions du calcul de réécriture général à des calculs plus simples comme le lambda-calcul.
We define evaluation strategies ensuring the confluence of the calcalus and we show that these strategies become trivial for restrictioris of the general rewriting calculus to simpler calculi like the lambda-calculus.
Andere resultaten
Nous suivons une approche générale où le calcul avec des coercions peut être vu comme une réduction dans le lambda-calcul gardant trace de la partie des termes qui sont des coercions.
We follow a general approach where computing with coercions can be seen as computing in the lambda-calculus but keeping track of which parts of terms are coercions.
L'utilisateur peut cependant simuler d'autres données en appelant des fonctions adéquates, comme en lambda-calcul.
Data can nevertheless be simulated with appropriate functions as in the lambda calculus.
Nous examinons ensuite les modèles catégoriques du lambda-calcul parallèle qui peut être vu comme un enrichissement du lambda-calcul avec l'agrégation de termes.
We next propose a categorical semantics for the parallel lambda- calculus that is nothing but an extension of the lambda-calculus with term aggregation.
Résumé : Les substitutions explicites ont été introduites comme un raffinement du lambda-calcul, celui-ci étant leformalisme utilisé pour étudier la sémantique des langages de programmation.
Abstract: Explicit substitutions have been introduced as a refinement of the lambda-calculus - the usual formalismused to study the semantic of programming languages.
CodeDeploy est un service qui automatise les déploiements des logiciels sur une grande variété de services de calcul comme Lambda et Amazon EC2.
CodeDeploy is a service that automates software deployments to a variety of compute services like Lambda and Amazon EC2.
CodeDeploy est un service qui automatise les déploiements des logiciels sur une grande variété de services de calcul comme Lambda et Amazon EC2.
AWS CodeDeploy is a service that automates code deployments to any instance, including Amazon EC2 instances and instances running on-premises.
Résumé : Les langages de programmation fonctionnels, comme OCaml ou Haskell, reposent sur le lambda calcul en tant que langage noyau.
Abstract: Functional programming languages, like OCaml or Haskell, rely on the lambda calculus for their core language.
En informatique, les fonctions itérées apparaissent comme des cas particuliers de fonctions récursives et interviennent dans le lambda calcul, ou dans des sujets plus spécialisés, comme la sémantique dénotationnelle des programmes informatiques.
In computer science, iterated functions occur as a special case of recursive functions, which in turn anchor the study of such broad topics as lambda calculus, or narrower ones, such as the denotational semantics of computer programs.
Au même moment, Pierre-Louis Curien développa un calcul de combinateurs catégoriques, ainsi qu'une correspondance entre lambda-calcul et combinateurs catégoriques, qui, comme le remarqua Guy Cousineau, pouvait être vue comme une technique de compilation pour ML.
Pierre-Louis Curien had developed at the same time a calculus of categorical combinators and a correspondance between lambda-calculus and categorical combinators which, as I noticed, could be seen as a compiling technique for ML.
Résumé : Le lambda-calcul a été inventé en 1936 par Alonzo Church pour formaliser la notion de calcul, et peut être considéré comme un ancêtre des langages de programmation d'aujourd'hui.
Abstract: The lambda-calculus has been invented in 1936 by Alonzo Church as a way to formalize the notion of computation, and can be seen as an ancestor of today's programming languages.
Elle est dotée d'une dynamique de ré-écriture de preuves (l'élimination des coupures) qui est isomorphe à l'évaluation de programmes (formalisé comme la bêta-réduction dans le lambda-calcul), par la correspondance de Curry-Howard.
Its dynamic of proofs rewriting (cut-elimination) is naturally linked to the evaluation of programs (formalized as the beta-reduction in the Lambda calcul), thanks to the Curry-Howard correspondance.
Ce smartphone est considéré comme le nec plus ultra de la technologie mobile.
This smartphone is considered the top of the line in mobile technology.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
