Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
lambda-calculus and
Vertaling van "lambda-calculus and" in Frans
lambda-calcul et
This results from a long tradition of cross-fertilization with the lambda-calculus and automated reasoning research communities.
Ces résultats sont issus d'une longue tradition d'échanges entre les communautés de chercheurs (et chercheuses) en lambda-calcul et raisonnement automatique.
Abstract: We study systems of non-idempotent intersection types for different variants of the lambda-calculus and we discuss properties and applications.
Résumé : Nous étudions des systèmes de typage avec des types intersections non-idempotents pour des variantes du lambda-calcul et nous discutons de leurs propriétés et de leurs applications.
Pierre-Louis Curien had developed at the same time a calculus of categorical combinators and a correspondance between lambda-calculus and categorical combinators which, as I noticed, could be seen as a compiling technique for ML.
Au même moment, Pierre-Louis Curien développa un calcul de combinateurs catégoriques, ainsi qu'une correspondance entre lambda-calcul et combinateurs catégoriques, qui, comme le remarqua Guy Cousineau, pouvait être vue comme une technique de compilation pour ML.
They constitute a bridge between lambda-calculus and programs.
Ils constituent ainsi un pont entre le lambda-calcul et les programmes.
My research domain includes partially lambda-calculus and type theory.
Mon domaine de recherche inclut partiellement le lambda-calcul et la théorie des types.
We describe an implicitly typed lambda-calculus and a declarative type system for which we prove soundness.
Nous y décrivons un lambda-calcul typé implicitement avec un système de types dont nous démontrons la correction.
We recall the definitions of the simply-typed lambda-calculus and its models, and introduce the notion of observation induced by a model.
Après avoir rappelé les définitions du lambda-calcul simplement typé et de ses modèles, nous présentons la notion d'observation définie par un modèle.
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.
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.
History of Lambda-calculus and Combinatory Logic.
Il est fondé sur le lambda-calcul et la logique combinatoire.
Synoniemen voor lambda-calculus and in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 10. Exact: 10. Verstreken tijd: 39 ms.
