Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
about lambda-calculus
Examples with "about lambda-calculus" and their translation in Frans
Abstract: The subject of this thesis is about lambda-calculus decorated with types, usually called "Church-style typed lambda-calculus".
Résumé : Le sujet de cette thèse est sur le lambda-calcul décoré avec des types, communément appelé « lambda-calcul typé à la Church ».
Andere resultaten
Researchers utilize lambda calculus to prove theories about computation and functions.
Les chercheurs utilisent le calcul des lambda pour prouver des théories sur le calcul et les fonctions.
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é.
Do any of those buttons shock him? Look, I'm really excited about our paper, too, but I've got a lot of my own work to catch up on, so let's talk, I'll just say one more thing Lambda calculus.
Envoie-lui une décharge ! Écoute, notre article me tient aussi à cœur, mais j'ai du travail à rattraper, alors plus tard.
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.
Synoniemen voor about lambda-calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 5. Exact: 1. Verstreken tijd: 1054 ms.
