Examples with "lambda-Pi calcul modulo" and their translation in Engels
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.
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.
We design a translation of functional pure type systems to the lambda-Pi-calculus modulo rewriting based on previous work by Cousineau and Dowek.
Andere resultaten
Il s'agit d'une extension de la notion de paires de dépendances au cas du lambda-pi-calcul modulo réécriture.
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 implements a type system, the lambda-Pi-Calculus Modulo, that is an extension of the dependently-typed lambda-calculus with first-order rewrite rules.
Plus précisément nous utilisons le lambda-Pi-calcul modulo réécriture, un lambda calcul équipé de types dépendants et de réécriture, comme langage pour définir des logiques et exprimer des preuves dans ces logiques.
More specifically, we use the lambda-Pi-calculus modulo rewriting, a lambda calculus equipped with dependent types and term rewriting, as a language for defining logics and expressing proofs in those logics.
Nous avons implémenté des programmes qui traduisent automatiquement les preuves de HOL, Coq, et Matita, en Dedukti, un vérificateur de types pour le lambda-Pi-calcul modulo réécriture.
We implemented programs that automatically translate the proofs of HOL, Coq, and Matita, to Dedukti, a type-checker for the lambda-Pi-calculus modulo rewriting.
qui reçoit un signal de sortie du sommateur et réalise un calcul modulo
which receives an output signal from the adder and performs a modulo calculation
Ce critère est défini pour les cadres logiques de la déduction minimale et du calcul modulo.
This criterion is defined for the logical frameworks of minimal deduction modulo and calculus modulo.
emod: calcul modulo rapide pour systèmes informatiques
Et nous exhibons finalement la puissance du calcul modulo en montrant que tous les systèmes de types purs fonctionnels peuvent être simulés dans ce cadre logique.
We finally exhibit the strength of calculus modulo by showing that all functional Pure Type Systems can be embedded in it.
L'encodage de preuves provenant d'autres systèmes dans le calcul modulo introduit d'autres calculs encore.
Ce critère est défini pour les cadres logiques de la déduction minimale et du λΠ-calcul modulo.
This criterion is defined for the logical frameworks of minimal deduction modulo and λΠ-calculus modulo.
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.
