Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Inscrivez-vous gratuitement : plus de résultats et de fonctionnalités
of the lambda-calculus
Traduction de "of the lambda-calculus" en français
du lambda-calcul
We next propose a categorical semantics for the parallel lambda- calculus that is nothing but an extension of the lambda-calculus with term aggregation.
Nous examinons ensuite les modèles catégoriques du lambda-calcul parallèle qui peut être vu comme un enrichissement du lambda-calcul avec l'agrégation de termes.
All the primitive notions of first-order logic and set theory, including truth values, connectives and quantifiers, set-membership and set-equality, get a canonical interpretation as terms of the lambda-calculus with only a few term constants added.
Toutes les notions primitives de la logique du premier ordre et de la théorie des ensembles, valeurs de vérité, connecteurs, quantificateurs, appartenance et égalité, y sont traduites par des termes du lambda-calcul enrichi de quelques constantes.
To illustrate this, we give a very precise and formal proof of the correctness of KP, an abstract machine for lazy reduction of the lambda-calculus, using a calculus of explicit substitution and global adresses.
Dans ce cadre, nous donnons une preuve de correction très précise de KP, une machine abstraite de réduction paresseuse du lambda-calcul, en nous appuyant sur un calcul avec substitution explicite et adresses globales.
Abstract: We study systems of non-idempotent intersection types for different variants of the lambda-calculus and we discuss properties and applications.
Résumé : Nous étudions des systèmes de typage avec des types intersections non-idempotents pour des variantes du lambda-calcul et nous discutons de leurs propriétés et de leurs applications.
Abstract: The rewriting calculus, also called the rho-calculus, is a generalisation of the lambda-calculus with matching capabilities and term aggregation.
Résumé : Le calcul de réécriture ou rho-calcul est une généralisation du lambda-calcul avec filtrage et agrégation de termes.
Abstract: Explicit substitutions have been introduced as a refinement of the lambda-calculus - the usual formalismused to study the semantic of programming languages.
Résumé : Les substitutions explicites ont été introduites comme un raffinement du lambda-calcul, celui-ci étant leformalisme utilisé pour étudier la sémantique des langages de programmation.
We also present an implementation, MlObj, and an abstract machine for execution.In a second part, we design a new inference algorithm for intersection type systems, on an extension of the lambda-calculus.
Nous présentons également une implémentation, MlObj, ainsi que la machine abstraite servant à son exécution.Dans une deuxième partie, nous présentons un nouvel algorithme d'inférence pour les systèmes de types avec intersection, dans le cadre d'une extension du lambda-calcul.
Passez à Premium pour accéder à des millions d’exemples de traduction, enregistrer et apprendre du vocabulaire en illimité, le tout sans publicité.
Le mot et l’expression du jour
L’image du jour
Résultats: 7. Exacts: 7. Temps écoulé: 51 ms.
