Examples with "en 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.
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.
Ces résultats sont issus d'une longue tradition d'échanges entre les communautés de chercheurs (et chercheuses) en lambda-calcul et raisonnement automatique.
This results from a long tradition of cross-fertilization with the lambda-calculus and automated reasoning research communities.
John Barkley Rosser John Barkley Rosser père (6 décembre 1907 - 5 septembre 1989) était un logicien américain, étudiant d'Alonzo Church, connu pour la propriété de Church-Rosser en lambda-calcul.
John Barkley Rosser Sr. (December 6, 1907 - September 5, 1989) was an American logician, a student of Alonzo Church, and known for his part in the Church-Rosser theorem, in lambda calculus.
Andere resultaten
Tout d'abord son travail dans le domaine de la logique et de la théorie des types avec l'algorithme d'unification en lambda calcul typé, connu comme l'algorithme de Huet, qui lui a valu le prix Herbrand en 1998.
Firstly his work in the field of logic and type theory with the unification algorithm for typed lambda calculus, known as the Huet algorithm, which earned him the 1998 Herbrand Award.
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.
Plus précisément, elle sert à définir rigoureusement la réduction en forme normale de tête d'un terme du lambda-calcul en utilisant la réduction par appel par nom.
More specifically it aims to define rigorously head normal form reduction of a lambda term using call-by-name reduction.
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.
Le lambda calcul avec constructeurs peut ainsi être simulé dans un calcul bien connu, et cette traduction nous permet aussi de transformer tout modèle par continuation en modèle du lambda calcul avec constructeurs.
This enables the simulation of the lambda calculus with constructors by a well known calculus, and provides a transformation of every continuation model into a model of the lambda calculus with constructors.
Résumé : En ajoutant au lambda-calcul des structures de données algébriques, des types dépendants et un système de modules, on obtient un langage de programmation avec peu de primitives mais une très grande expressivité.
Abstract: The dependently typed lambda-calculus with algebraic data structures is a programming language with very few primitives but a huge expressivity.
Nous concevons une traduction des systèmes de types purs en lambda-Pi calcul modulo réécriture basée sur les travaux de Cousineau et Dowek.
We design a translation of functional pure type systems to the lambda-Pi-calculus modulo rewriting based on previous work by Cousineau and Dowek.
Nous concevons une traduction des systèmes de types purs en lambda-Pi calcul modulo réécriture basée sur les travaux de Cousineau et Dowek.
We design a translation of functional pure type systems to the lambda-Pi-calculus modulo rewriting based on previous work by Cousineau and Dowek.
D'autre part, nous présentons un modèle microscopique à 4 niveaux en double-Lambda permettant de calculer le coefficient chi(3) pour une vapeur atomique en présence de laser, et ainsi obtenir théoriquement les spectres de bruit en intensité des grandeurs observées.
On the other side, we present a microscopic model with 4 levels in the double-Lambda configuration to calculate the chi(3) coefficient in a atomic vapor dressed with a laser.
Deux interprétations sont considérées.Le lambda-calcul constitue le support de la première interprétation.
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.
