Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
typed lambda-calculus
Vertaling van "typed lambda-calculus" in Frans
lambda-calcul typé
We describe an implicitly typed lambda-calculus and a declarative type system for which we prove soundness.
Nous y décrivons un lambda-calcul typé implicitement avec un système de types dont nous démontrons la correction.
Type isomorphisms have already been studied within the framework of the simply typed lambda-calculus with surjective pairing but without sums.
Les isomorphismes de type avaient déjà été étudiés dans le cadre du lambda-calcul simplement typé avec paires surjectives mais sans somme.
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.
Le premier est inspiré du lambda-calcul simplement typé, mais un terme peut y être typé sans être terminant.
Abstract: The dependently typed lambda-calculus with algebraic data structures is a programming language with very few primitives but a huge expressivity.
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é.
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.
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é.
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.
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
Abstract: The subject of this thesis is about lambda-calculus decorated with types, usually called "Church-style typed lambda-calculus".
Résumé : Le sujet de cette thèse est sur le lambda-calcul décoré avec des types, communément appelé « lambda-calcul typé à la Church ».
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.
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.
Typed lambda-calculus is a programming language which is formally equivalent to logical reasoning.
Le lambda-calcul typé est un langage de programmation formellement équivalent à la logique mathématique usuelle.
1972: in the field of demonstration theory, a sub-field of mathematical logic, Gérard Huet invented a unification algorithm for typed Lambda-Calculus which bears his name.
1972 : Dans le domaine de la théorie de la démonstration, sous-domaine de la logique mathématique, Gérard Huet invente un algorithme d'unification en théorie des types qui porte son nom.
Abstract: We introduce a typed lambda-calculus which allows the use of exceptions in the ML style.
Résumé : La thèse décrit un lambda calcul typé étendu par un traitement des exceptions.
Synoniemen voor typed lambda-calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 11. Exact: 11. Verstreken tijd: 56 ms.
