Download for Windows Premium
Inschrijven Aanmelden met Google Aanmelden met Apple
Reverso Premium
Publiciteit
the lambda s-calculus
Bedoelde u: the lambda calculus · the lambda-calculus · the lambda-pi-calculus

Examples with "the lambda s-calculus" and their translation in Frans

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.
In the first part, we are concerned with the preservation property of beta-strong normalisation (PSN) for the lambda s-calculus, a language among the eight calculi of the prismoid of resources defined thereafter.
Dans une première partie, on s'intéresse à la propriété de préservation de la beta-normalisation forte (PSN) pour le calcul lambda s. Dans une seconde partie, on étudie la propriété de confluence pour un large ensemble de calculs avec substitutions explicites.

Andere resultaten

Pellet boiler with combustion control guaranteed by the lambda probe.
Chaudière à pellet avec contrôle de la combustion garanti par une sonde lambda.
Researchers measured the behavior of the lambda particle in the accelerator.
Les chercheurs ont mesuré le comportement de la particule lambda dans l'accélérateur.
The lambda particle is crucial for understanding baryonic matter in physics.
La particule lambda est cruciale pour comprendre la matière baryonique en physique.
All those in favour of expelling the Lambdas, please signify by saying...
Ceux qui sont pour expulser les Lambda, veuillez l'indiquer en...
Improves operation of both the lambda probe and the catalyst.
Améliore le fonctionnement de la sonde lambda et du catalyseur.
The Lambda sigs are disqualified for the improper use of a professional athlete...
Les Lambda Sigs sont disqualifiés pour utilisation d'un joueur professionnel...
The lambda and number parameters must be positive.
La fonction lambda et les paramètres de nombres doivent être positifs.
The Lambda, painted on proud Spartans' shields, is our symbol.
Ce lambda qui ornait le bouclier des glorieux Spartiates est notre symbole.
Then, I will give the green light on the Lambda project.
Bien, on va lancer le projet Lambda.
The Lambda Architecture is a good example of this idea.
L'architecture Lambda est un bon exemple de cette idée.
The response from the Lambda function should be in JSON format.
La réponse de la fonction Lambda doit être au format JSON.
The lambda must contain the same number of parameters as the delegate type.
Le lambda doit contenir le même nombre de paramètres que le type délégué.
Er zijn geen resultaten gevonden voor deze term.
Woord & uitdrukking van de dag
Afbeelding van de dag
jug: container with a handle and spout for liquids
Ontdek het woord
jug
Publiciteit

Resultaten: 562. Exact: 1. Verstreken tijd: 91 ms.