Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
on the lambda calculus
Examples with "on the lambda calculus" and their translation in Frans
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.
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.
Andere resultaten
We also present an implementation, MlObj, and an abstract machine for execution.In a second part, we design a new inference algorithm for intersection type systems, on an extension of the lambda-calculus.
Nous présentons également une implémentation, MlObj, ainsi que la machine abstraite servant à son exécution.Dans une deuxième partie, nous présentons un nouvel algorithme d'inférence pour les systèmes de types avec intersection, dans le cadre d'une extension du lambda-calcul.
Abstract: Abstract categorial grammars (or, equivalently, lambda-grammars) is formalism based on the simply-typed lambda-calculus.
Data can nevertheless be simulated with appropriate functions as in the lambda calculus.
L'utilisateur peut cependant simuler d'autres données en appelant des fonctions adéquates, comme en lambda-calcul.
The former gives rise to the calculus Ixr with explicit substitutions, weakenings and contractions that refines the lambda-calculus and beta-reduction.
Cette dernière donne lieu à un calcul de substitutions explicites avec affaiblissements et contractions, qui raffine la beta-reduction.
Alonzo Church in the lambda calculus.
Alonzo Church, avec une théorie appelé le lambda-calcul.
This work is concluded by the description of obstructions for proving the same result for the lambda-calculus.
Enfin, on étudie les obstructions à ce même résultat concernant le lambda-calcul.
It implements a type system, the lambda-Pi-Calculus Modulo, that is an extension of the dependently-typed lambda-calculus with first-order rewrite rules.
Il implémente un système de type, le lambda-Pi-Calcul Modulo, qui est une extension du lambda-calcul avec types dépendants avec des règles de réécriture du premier ordre.
It is based on combinatory logic, a version of the lambda calculus that omits the lambda operator.
Il est fondé sur le principe de la logique combinatoire, une version du lambda-calcul qui omet l'opérateur lambda.
It has been proved that the Krivine machine implements correctly the call by name head normal form reduction in the lambda-calculus.
Il a été démontré que la machine de Krivine implante correctement la réduction en forme normale de tête du lambda-calcul, par appel par nom.
Many modern functional programming languages have been described as providing a "thin veneer" over the lambda calculus, and many are easily described in terms of it.
Pourtant, de nombreux langages de programmation fonctionnels modernes sont désormais aisément décrits en termes de lambda-calcul.
For example, it has been shown that computational interpretations of Deep Inference can provide an adequate typing for the lambda-calculus with explicit sharing and also for interaction nets.
Il a été démontré, par exemple, que les interprétations calculatoires de l'inférence profonde peuvent fournir un typage adéquat du lambda- calcul avec partage explicite ainsi que des réseaux d'interaction.
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 691. Exact: 2. Verstreken tijd: 112 ms.
