Examples with "lambda calcul simplement typé" 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 concluons en discutant de la pertinence du lambda calcul simplement typé pour la sémantique des langues naturelles.
Les contributions de cette thèse sont la formalisation, dans le lambda calcul simplement typé, de deux mécanismes pour améliorer l'efficacité : la validation des calculs impurs et l'optimisation des calculs incrémentaux.
The contributions of this work are the formalization, in the Simply Typed Lambda Calculus, of two mechanisms to achieve efficiency: to validate impure computations and to optimize computations by incrementality.
La représentation des changements de données est pris en charge par les types déplaçables et une extension du lambda calcul simplement typé avec dérivées et dérivées partielles offre un language pour raisonner sur l'incrementalité.
Displaceable types represent data-changes while an extension of the simply typed lambda calculus with differentials and partial derivatives offers a language to reason about incrementality.
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.
Les contributions de cette thèse sont la formalisation, dans le lambda calcul simplement typé, de deux mécanismes pour améliorer l'efficacité : la validation des calculs impurs et l'optimisation des calculs incrémentaux.
The contributions of this work are the formalization, in the Simply Typed Lambda Calculus, of two mechanisms to achieve efficiency: to validate impure computations and to optimize computations by incrementality.
Andere resultaten
Ces systèmes sont équivalents au lambda-calcul simplement typé avec récursion, et peuvent donc être étudiés à l'aide d'outils sémantiques.
These systems are equivalent to simply-typed lambda-terms with recursion, and can therefore be studied using semantic methods.
Les isomorphismes de type avaient déjà été étudiés dans le cadre du lambda-calcul simplement typé avec paires surjectives mais sans somme.
Type isomorphisms have already been studied within the framework of the simply typed lambda-calculus with surjective pairing but without sums.
Après avoir rappelé les définitions du lambda-calcul simplement typé et de ses modèles, nous présentons la notion d'observation définie par un modèle.
We recall the definitions of the simply-typed lambda-calculus and its models, and introduce the notion of observation induced by a model.
Le premier est inspiré du lambda-calcul simplement typé, mais un terme peut y être typé sans être terminant.
The first one is inspired by the simply typed lambda-calculus, but it differs from it in the sense that a term may be well-typed without being terminating.
On considère les bicatégories de Kleisli pour ces pseudomonades et on donne une condition suffisante pour qu'une telle bicatégorie soit cartésienne fermée, donc un modèle du lambda-calcul simplement typé.
We consider the Kleisli bicategories of these pseudomonads and we give a sufficient condition that makes these bicategories cartesian closed, thus models of simply typed lambda-calculus.
Nous avons développé trois formalisations d'une preuve de normalisation à la Tait pour le lambda-calcul simplement typé. Ces trois formalisations ont été faites en utilisant les assistants de preuves Minlog, Coq et Isabelle/HOL.
We have developed three formalizations of Tait's normalization proof for the simply typed lambda-calculus in the proof assistants Minlog, Coq and Isabelle/HOL.
Dans le cadre du lambda-calcul simplement typé avec des sommes et le type vide, muni de la βn-équivalence forte, nous montrons que la question de l'unicité est décidable.
In the setting of simply-typed lambda-calculus with sums and the empty type, equipped with the strong beta-eta-equivalence, we show that uniqueness is decidable.
Bien que le langage considéré soit le lambda-calcul simplement typé étendu par le produit cartésien, le if-then-else, le point fixe et des constantes arithmétiques, nous pouvons généraliser notre approche aux
Even though the language considered in the paper is the simply typed lambda-calculus with cartesian product, if-then-else, fixpoint, and arithmetic constants we can generalize our approach to polymorphic languages like Miranda, Haskell, and CAML.
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.
