Examples with "de 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.
Les outils mathématiques utilisés sont une combinaison de logique mathématique et de langage formel théorique, plus particulièrement de lambda-calcul typé.
The mathematical tools used are the confluence of formal logic and formal language theory, especially typed lambda calculi.
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.
For that we built an extension of lambda-calculus with frozen terms, noted, that is, terms which cannot reduce.
En 1969, William Alvin Howard a observé qu'un système de preuve "de haut niveau", appelé déduction naturelle, peut être directement interprété dans sa version intuitionniste comme une variante typée du modèle de calcul connu sous le nom de lambda-calcul.
In 1969, William Alvin Howard observed that a "high-level" proof system, referred to as natural deduction, can be directly interpreted in its intuitionistic version as a typed variant of the model of computation known as lambda calculus.
Pourtant, de nombreux langages de programmation fonctionnels modernes sont désormais aisément décrits en termes de lambda-calcul.
Many modern functional programming languages have been described as providing a "thin veneer" over the lambda calculus, and many are easily described in terms of it.
Andere resultaten
Ensuite nous nous intéressons aux preuves de normalisation forte de lambda-calculs typés utilisant la technique de réductibilité.
Next, we study strong normalization proofs of typed lambda-calculi that use the reducibility technique.
Les modèles que nous étudions sont dans la tradition des calculs de processus et du lambda-calcul.
Nous concluons en discutant de la pertinence du lambda calcul simplement typé pour la sémantique des langues naturelles.
We conclude by discussing the adequacy of simply typed lambda calculus for natural language semantics.
Dans une première partie, nous étendons la définition standard du développement de Taylor à un lambda-calcul non-déterministe.
In a first part, we extend the standard definition of Taylor expansion to a non-deterministic lambda-calculus.
Il a été démontré que la machine de Krivine implante correctement la réduction en forme normale de tête du lambda-calcul, par appel par nom.
It has been proved that the Krivine machine implements correctly the call by name head normal form reduction in the lambda-calculus.
Ce qui est important cependant est de savoir que le lambda-calcul et le modèle de substitution s'appliquent seulement aux expressions qui n'ont pas d'effets de bord.
What's important though is to know that number calculus as a model, and the substitution model, can be applied only to expressions that do not have a side effect.
Bien qu'il n'y ait pas de nombres dans le lambda-calcul, nous pouvons encoder des nombres en utilisant les nombres de Church.
Although there are no numbers in lambda calculus, we can encode numbers using Church numerals.
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.
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.
