Examples with "le lambda-calcul dans" 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.
Vous avez probablement vu le lambda-calcul dans un cours d'informatique théorique; si oui, vous verrez sans doute le lien avec ce modèle.
You might have come across lambda calculus in theoretical computer science, and if you did, then you know how to make the connection to this model.
Dans la troisième partie de la thèse on définit un prisme des ressources qui généralise de manière paramétrique le lambda-calcul dans le sens où non seulement la substitution peut être explicite, mais également la contraction et l'affaiblissement.
In the third part, we define a prismoid of resources which generalise in a parametric way the lambda-calculus in the sense that not only the substitution can be explicit, but also the contraction and the weakening.
Andere resultaten
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.
Résumé : Dans la première partie, on propose un système de type pour le lambda-calcul, dans le style du calcul des séquents, nomme « Soft Type Assignment » (STA) qui est inspiré par la logique linéaire « soft ».
Abstract: In the first part, we propose, inspired by Soft Linear Logic, a type assignment system for lambda-calculus in sequent calculus style, named Soft Type Assignment (STA).
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.
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.
Ils constituent ainsi un pont entre le lambda-calcul et les programmes.
They constitute a bridge between lambda-calculus and programs.
Mon domaine de recherche inclut partiellement le lambda-calcul et la théorie des types.
My research domain includes partially lambda-calculus and type theory.
Le lambda-calcul constitue le support de la première interprétation.
Lambda-calculus is the framework of the first interpretation.
Le lambda-calcul typé est un langage de programmation formellement équivalent à la logique mathématique usuelle.
Typed lambda-calculus is a programming language which is formally equivalent to logical reasoning.
Il est fondé sur le lambda-calcul et la logique combinatoire.
History of Lambda-calculus and Combinatory Logic.
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.
