We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
lambda-calculus and
Ils constituent ainsi un pont entre le lambda-calcul et les programmes.
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.
This results from a long tradition of cross-fertilization with the lambda-calculus and automated reasoning research communities.
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.
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 les propriétés, en particulier la terminaison, des systèmes de types dépendants pour le lambda-calcul et la réécriture.
Abstract: We study the properties, in particular termination, of dependent types systems for lambda-calculus and rewriting.
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.
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.
Ce qui est important cependant est de savoir que le lambda-calcul et le modèle de substitution s'appliquent seulement aux expressions qui n'ont pas d'effets de bord.
What's important though is to know that number calculus as a model, and the substitution model, can be applied only to expressions that do not have a side effect.
Il est fondé sur le lambda-calcul et la logique combinatoire.
History of Lambda-calculus and Combinatory Logic.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
