Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
lambda-calculus in
Examples with "lambda-calculus in" and their translation in Frans
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.
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.
Abstract: In the first part, we propose, inspired by Soft Linear Logic, a type assignment system for lambda-calculus in sequent calculus style, named Soft Type Assignment (STA).
Résumé : Dans la première partie, on propose un système de type pour le lambda-calcul, dans le style du calcul des séquents, nomme « Soft Type Assignment » (STA) qui est inspiré par la logique linéaire « soft ».
Andere resultaten
You might have come across lambda calculus in theoretical computer science, and if you did, then you know how to make the connection to this model.
Vous avez probablement vu le lambda-calcul dans un cours d'informatique théorique; si oui, vous verrez sans doute le lien avec ce modèle.
The principles of lambda calculus are often taught in advanced computer science courses.
Les principes du calcul des lambda sont souvent enseignés dans les cours d'informatique avancés.
In lambda calculus, functions can be defined and applied uniquely.
Dans le calcul lambda, les fonctions peuvent être définies et appliquées de manière unique.
Super-promotion can be expressed in the syntax of lambda-calculus with resources or in Systems of nets.
Cette construction peut être exprimée dans la syntaxe du lambda-calcul avec ressources ou dans un système de réseaux.
There is no "True" or "False" in lambda calculus.
Il n'y a pas de "Vrai" ou de "Faux" dans le calcul lambda.
Abstract: This thesis studies the notion of approximation in lambda-calculus from different perspectives.
Résumé : Cette thèse étudie la notion d'approximation dans le lambda-calcul selon différentes perspectives.
Although there are no numbers in lambda calculus, we can encode numbers using Church numerals.
Bien qu'il n'y ait pas de nombres dans le lambda-calcul, nous pouvons encoder des nombres en utilisant les nombres de Church.
Another notion of approximation in lambda-calculus is given by intersection types, introduced by Coppo and Dezani in the 80s.
Une autre notion d'approximation dans le lambda-calcul est donné par les types intersections, introduits par Coppo et Dezani dans les années 80.
Abstract: The lambda-calculus has been invented in 1936 by Alonzo Church as a way to formalize the notion of computation, and can be seen as an ancestor of today's programming languages.
Résumé : Le lambda-calcul a été inventé en 1936 par Alonzo Church pour formaliser la notion de calcul, et peut être considéré comme un ancêtre des langages de programmation d'aujourd'hui.
The concept of algorithm was formalized in 1936 through Alan Turing's Turing machines and Alonzo Church's lambda calculus, which in turn formed the foundation of computer science.
Le concept a été formalisé en 1936 avec les machines d'Alan Turing et le calcul lambda d'Alonzo Church, ce qui à alors créé les fondations de l'informatique.
Synoniemen voor lambda-calculus in in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 175. Exact: 3. Verstreken tijd: 96 ms.
