Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
lambda calculus
Definitie
Vertaling van "lambda calculus" in Frans
Definitie NEW
Type theory is based on the lambda calculus which is purely functional.
La théorie des types est basée sur le lambda calcul qui est purement fonctionnel.
We conclude by discussing the adequacy of simply typed lambda calculus for natural language semantics.
Nous concluons en discutant de la pertinence du lambda calcul simplement typé pour la sémantique des langues naturelles.
The principles of lambda calculus influence various programming languages today.
Les principes du calcul lambda influencent divers langages de programmation aujourd'hui.
The study of lambda calculus extends beyond basic math into computer science.
L'étude du calcul lambda s'étend au-delà des mathématiques de base jusqu'à l'informatique.
Finally, we takle the specificiation of the operational semantics of a programming language such as lambda calculus with - reduction.
Finalement, nous abordons la spécification de la sémantique opérationnelle d'un langage de programmation tel que le lambda calcul avec -réduction.
In this article the author uses arguments based on lambda calculus to show why software cannot be patented.
Dans cet article, l'auteur utilise des arguments basés sur le calcul lambda pour montrer pourquoi les logiciels ne peuvent être brevetés.
For example, my lesson on lambda calculus is the explanation of a library of executable programs, enabling students to learn by using these algorithms.
Par exemple, mon cours sur le lambda calcul est la glose d'une bibliothèque de programmes exécutables, permettant aux étudiants d'apprendre en utilisant ces algorithmes.
I remember his executable lecture notes on lambda calculus which allowed us to experiment with the algorithms and therefore gave a very practical side to a subject that is otherwise very theoretical.
Je me souviens de ses notes de cours exécutable sur le lambda calcul qui permet d'expérimenter les algorithmes et de donner ainsi un caractère très concret à un sujet autrement très théorique.
Other notable contributions include his work on domain theory in logical form, the lazy lambda calculus, strictness analysis, concurrency theory, interaction categories, and geometry of interaction.
D'autres contributions notables comprennent ses travaux sur la théorie des domaines en forme, le calcul lambda paresseux, la théorie de la concurrence, les catégories d'interaction et la géométrie de l'interaction.
Displaceable types represent data-changes while an extension of the simply typed lambda calculus with differentials and partial derivatives offers a language to reason about incrementality.
La représentation des changements de données est pris en charge par les types déplaçables et une extension du lambda calcul simplement typé avec dérivées et dérivées partielles offre un language pour raisonner sur l'incrementalité.
In computer science, iterated functions occur as a special case of recursive functions, which in turn anchor the study of such broad topics as lambda calculus, or narrower ones, such as the denotational semantics of computer programs.
En informatique, les fonctions itérées apparaissent comme des cas particuliers de fonctions récursives et interviennent dans le lambda calcul, ou dans des sujets plus spécialisés, comme la sémantique dénotationnelle des programmes informatiques.
If you know the lambda calculus, click here to see a more significative example of symbolic data manipulation using Caml: the definition of lambda-terms with their associated lexical analyzer, parser and printer, within about fifty lines of Caml code.
Si vous connaissez le lambda calcul, cliquez là pour voir un exemple plus consistant de manipulation de données symboliques avec Caml: j'y définis les lambda termes avec leurs analyseurs lexicaux et syntaxiques associés, puis un imprimeur en à peu près 50 lignes de Caml.
In mathematical logic, System U and System U- are pure type systems, i.e. special forms of a typed lambda calculus with an arbitrary number of sorts, axioms and rules (or dependencies between the sorts).
En logique mathématique, le System U et le System U - sont des systèmes de types purs, c'est-à-dire des formes spéciales d'un calcul lambda typé avec un nombre arbitraire de sortes, d'axiomes et de règles (ou de relations entre les sortes).
Synoniemen voor lambda calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 83. Exact: 83. Verstreken tijd: 39 ms.
