Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
lambda calculus for
Examples with "lambda calculus for" and their translation in Frans
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.
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.
One consequence of this characterisation is that Nessie can handle a large range of invertible grammars and hence is compatible with generation as well as analysis.We conclude by discussing the adequacy of simply typed lambda calculus for natural language semantics.
Une conséquence de cette caractérisation est que Nessie peut gérer une large gamme de grammaires inversibles et peut donc, théoriquement, être utilisé aussi bien en génération qu'en analyse.
Abstract: Functional programming languages, like OCaml or Haskell, rely on the lambda calculus for their core language.
Résumé : Les langages de programmation fonctionnels, comme OCaml ou Haskell, reposent sur le lambda calcul en tant que langage noyau.
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.
Andere resultaten
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.
Lambda calculus is essential for understanding functional programming concepts.
Le calcul lambda est essentiel pour comprendre les concepts de programmation fonctionnelle.
Abstract: We study the properties, in particular termination, of dependent types systems for lambda-calculus and rewriting.
Résumé : Nous étudions les propriétés, en particulier la terminaison, des systèmes de types dépendants pour le lambda-calcul et la réécriture.
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 ».
The analysis begins within a syntactical framework: we define a unary strongly normalizing lambda calculus, for which we recall the pointer abstract machine (PAM).
L'analyse commence dans un univers syntaxique : on définit un lambda-calcul unaire fortement normalisant, pour lequel on rappelle la machine à pointeurs (PAM).
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.
Synoniemen voor lambda calculus for in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 251. Exact: 5. Verstreken tijd: 132 ms.
