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.
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.
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.
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.
