Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
to lambda calculus
Examples with "to lambda calculus" and their translation in Frans
The Krivine machine is based on two concepts related to lambda calculus, namely head reduction and call by name.
La machine abstraite de Krivine est sous-tendue par deux concepts relatifs au lambda-calcul, à savoir la réduction en forme normale de tête et l'appel par nom.
Andere resultaten
Many computer scientists study lambda calculus to enhance their programming skills.
De nombreux informaticiens étudient le calcul lambda pour améliorer leurs compétences en programmation.
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.
In a first part, we extend the standard definition of Taylor expansion to a non-deterministic lambda-calculus.
Dans une première partie, nous étendons la définition standard du développement de Taylor à un lambda-calcul non-déterministe.
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.
We begin by studying under which conditions the combination of a confluent conditional rewrite relation to the lambda-calculus leads to a confluent relation.
Nous commençons par étudier sous quelles conditions la combinaison d'une relation de réécriture conditionnelle confluente au lambda-calcul donne une relation de réécriture confluente.
The introduction to the volume places the contributions in perspective and provides a gentle beginner's introduction to the lambda-calculus, which is and remains the backbone of the whole field.
L'introduction au volume place les contributions en perspective et offre une initiation rapide au lambda-calcul qui est et demeure l'épine dorsale de tout ce domaine de recherche.
It's important to recognize that traditional lambda calculus doesn't have numbers, characters, or any non-function datatype! Boolean Logic
Il est important de reconnaître que le lambda-calcul traditionnel n'a pas de nombres, de caractères ou tout autre type de données sans fonction!
In 1964, Peter Landin is the first to realize Church's lambda calculus can be used to model programming languages.
En 1964, Peter Landin est le premier à réaliser que le calcul lambda de Church peut être utilisé pour modéliser les langages de programmation.
It is an extension of the dependency pairs to the lambda-pi-calculus modulo rewriting.
Il s'agit d'une extension de la notion de paires de dépendances au cas du lambda-pi-calcul modulo réécriture.
We design a translation of functional pure type systems to the lambda-Pi-calculus modulo rewriting based on previous work by Cousineau and Dowek.
Nous concevons une traduction des systèmes de types purs en lambda-Pi calcul modulo réécriture basée sur les travaux de Cousineau et Dowek.
We design a translation of functional pure type systems to the lambda-Pi-calculus modulo rewriting based on previous work by Cousineau and Dowek.
Nous concevons une traduction des systèmes de types purs en lambda-Pi calcul modulo réécriture basée sur les travaux de Cousineau et Dowek.
Lambda calculus serves as a foundation for mathematical logic and computation.
Le calcul lambda sert de fondation à la logique mathématique et au calcul.
Synoniemen voor to lambda calculus in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 222. Exact: 1. Verstreken tijd: 127 ms.
