Vertaling van "lambda-calcul simplement typé" 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.
simply typed lambda-calculus
simply-typed lambda-calculus
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.
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.
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.
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.
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.
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.
En 1958, Feys et Haskell B. Curry ont mis au point l'algorithme d'inférence de type pour le lambda-calcul simplement typé et la logique combinatoire.
In 1958 Feys and Haskell B. Curry devised the type inference algorithm for the simply typed lambda calculus (Combinatory Logic).
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.
Il a inventé le système F ou lambda-calcul polymorphe qui est une extension du lambda-calcul simplement typé introduite indépendamment par le logicien Jean-Yves Girard.
He invented the polymorphic lambda calculus (System F) and formulated the property of semantic parametricity; the same calculus was independently discovered by Jean-Yves Girard.
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.
