Ils constituent ainsi un pont entre le lambda-calcul et les programmes.
They constitute a bridge between lambda-calculus and programs.
Mon domaine de recherche inclut partiellement le lambda-calcul et la théorie des types.
My research domain includes partially lambda-calculus and type theory.
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.
Un théorème important du lambda-calcul est que les deux stratégies se réduisent à
An important theorem, in fact, of lambda calculus is that both strategies reduce to
La beta-réduction du lambda-calcul distingue certaines fonctions extensionnellement égales.
The beta-reduction of lambda-calculus distinguishes sorne functions which are extensionally equal.
Le lambda-calcul constitue le support de la première interprétation.
Lambda-calculus is the framework of the first interpretation.
Le lambda-calcul peut être typé ou non.
Lambda calculus may be untyped or typed.
Le lambda-calcul typé est un langage de programmation formellement équivalent à la logique mathématique usuelle.
Typed lambda-calculus is a programming language which is formally equivalent to logical reasoning.
Les modèles que nous étudions sont dans la tradition des calculs de processus et du lambda-calcul.
The models we study are in the process calculus and lambda-calculus tradition.
Nous y décrivons un lambda-calcul typé implicitement avec un système de types dont nous démontrons la correction.
We describe an implicitly typed lambda-calculus and a declarative type system for which we prove soundness.
Nous étudions le filtrage d'ordre supérieur dans le lambda-calcul pur modulo une restriction de la beta-conversion appelée super-développements.
We study higher-order matching in the pure lambda-calculus modulo a restriction of beta-conversion known as superdevelopments.
Au moyen de cette sémantique opérationnelle sans effet de bord nous définissons une notion de théorie équationnelle pour le lambda-calcul probabiliste.
Then using this operational semantics without side effect we define a notion of equational theories for the probabilistic lambda-calculus.
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.
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
