Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
of the lambda-calculus
Vertaling van "of the lambda-calculus" in Frans
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.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 7. Exact: 7. Verstreken tijd: 59 ms.
