Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
in a lambda-calculus
Examples with "in a lambda-calculus" and their translation in Frans
Finally, another interpretation of proof-search is given through the encoding of reduction in a lambda-calculus with explicit substitution into the inference rules of a subsystem of intuitionistic logic in the calculus of
Enfin, une autre interprétation de la recherche de preuve est donnée par l'encodage de la réduction d'un lambda-calcul avec substitution explicite dans les règles d'inférence d'un sous-système de la logique intuitionniste dans le calcul des structures.
One of these procedure is then interpreted in terms of computation, as a refinement of the Curry-Howard correspondence allowing to introduce a form of sharing and communication operators in a lambda-calculus with explicit substitution.
L'une de ces procédures est alors interprétée en termes calculatoires, comme un raffinement de la correspondance de Curry-Howard permettant d'introduire une forme de partage ainsi que des opérateurs de communication dans un lambda-calcul avec substitution explicite.
Andere resultaten
In the third part, we define a prismoid of resources which generalise in a parametric way the lambda-calculus in the sense that not only the substitution can be explicit, but also the contraction and the weakening.
Dans la troisième partie de la thèse on définit un prisme des ressources qui généralise de manière paramétrique le lambda-calcul dans le sens où non seulement la substitution peut être explicite, mais également la contraction et l'affaiblissement.
Abstract: The rewriting calculus is a lambda-calculus with pattern matching.
Résumé : Le calcul de réécriture est un lambda-calcul avec filtrage.
More specifically, we use the lambda-Pi-calculus modulo rewriting, a lambda calculus equipped with dependent types and term rewriting, as a language for defining logics and expressing proofs in those logics.
Plus précisément nous utilisons le lambda-Pi-calcul modulo réécriture, un lambda calcul équipé de types dépendants et de réécriture, comme langage pour définir des logiques et exprimer des preuves dans ces logiques.
Following the work done in the author's M.Sc. thesis, we study a lambda calculus for quantum computation with classical control.
S'appuyant sur les travaux de master (M.Sc.) de l'auteur, nous étudions un lambda-calcul pour le calcul quantique avec contrôle classique.
Besides the pure lambda-calculus itself, the variants are a λ-calculus with explicit substitutions and a lambda-calculus with constructors, matching and a fixpoint operator.
Outre le lambda-calcul lui-même, les variantes sont un lambda-calcul avec des substitutions explicites et un lambda-calcul avec des constructeurs, du filtrage et un opérateur de point fixe.
Lambda calculus serves as a foundation for mathematical logic and computation.
Le calcul lambda sert de fondation à la logique mathématique et au calcul.
Lambda calculus serves as a bridge between mathematics and computer science.
Le calcul des lambda sert de pont entre les mathématiques et l'informatique.
The principles of lambda calculus influence various programming languages today.
Les principes du calcul lambda influencent divers langages de programmation aujourd'hui.
Lambda calculus is used to represent computations through function abstraction.
Le calcul lambda est utilisé pour représenter des calculs par l'abstraction de fonctions.
In academic settings, lambda calculus is often introduced as theoretical computer science.
Dans les milieux académiques, le calcul lambda est souvent introduit comme informatique théorique.
Many computer scientists consider lambda calculus essential for theoretical computer science.
De nombreux informaticiens considèrent le calcul des lambda comme essentiel pour l'informatique théorique.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 175. Exact: 2. Verstreken tijd: 60 ms.
