Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
typed lambda calculus
Vertaling van "typed lambda calculus" in Frans
lambda calcul typé
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.
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é.
The Automath system included many novel notions that were later adopted and/or reinvented in areas such as typed lambda calculus and explicit substitution.
Le système Automath apportait de nombreuses notions novatrices qui ont été adoptées ou réinventées ultérieurement, comme la substitution explicite ou la notion de type dépendant dont Automath est un exemple paradigmatique.
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.
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).
Firstly his work in the field of logic and type theory with the unification algorithm for typed lambda calculus, known as the Huet algorithm, which earned him the 1998 Herbrand Award.
Tout d'abord son travail dans le domaine de la logique et de la théorie des types avec l'algorithme d'unification en lambda calcul typé, connu comme l'algorithme de Huet, qui lui a valu le prix Herbrand en 1998.
The most famous early example is Alonzo Church's simply typed lambda calculus.
L'exemple le plus connu est le lambda calcul d'Alonzo Church.
In 1958 Feys and Haskell B. Curry devised the type inference algorithm for the simply typed lambda calculus (Combinatory Logic).
En 1958, Feys et Haskell B. Curry ont mis au point l'algorithme d'inférence de type pour le lambda-calcul simplement typé et la logique combinatoire.
Peter bears some similarities to Atsushi, Benjamin and Phil's Featherweight Java [IPW01] and Alonso Church's typed lambda calculus [Chu41].
Peter partage quelques similitudes avec Featherweight Java de Atsushi, Benjamin et Phil [IPW01] et le lambda calcul typé de Alonso (Church) [Chu41].
The contributions of this work are the formalization, in the Simply Typed Lambda Calculus, of two mechanisms to achieve efficiency: to validate impure computations and to optimize computations by incrementality.
Les contributions de cette thèse sont la formalisation, dans le lambda calcul simplement typé, de deux mécanismes pour améliorer l'efficacité : la validation des calculs impurs et l'optimisation des calculs incrémentaux.
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 contributions of this work are the formalization, in the Simply Typed Lambda Calculus, of two mechanisms to achieve efficiency: to validate impure computations and to optimize computations by incrementality.
Les contributions de cette thèse sont la formalisation, dans le lambda calcul simplement typé, de deux mécanismes pour améliorer l'efficacité : la validation des calculs impurs et l'optimisation des calculs incrémentaux.
Synoniemen voor typed lambda calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 12. Exact: 12. Verstreken tijd: 93 ms.
