Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Sluit u aan bij Reverso, het is gratis en gemakkelijk!
calculus modulo
Vertaling van "calculus modulo" in Frans
calcul modulo
Encoding proofs from other systems in the calculus modulo bakes yet more computation into the proof terms.
L'encodage de preuves provenant d'autres systèmes dans le calcul modulo introduit d'autres calculs encore.
We finally exhibit the strength of calculus modulo by showing that all functional Pure Type Systems can be embedded in it.
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.
This criterion is defined for the logical frameworks of minimal deduction modulo and calculus modulo.
Ce critère est défini pour les cadres logiques de la déduction minimale et du calcul modulo.
Andere resultaten
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 study higher-order matching in the pure lambda-calculus modulo a restriction of beta-conversion known as superdevelopments.
Nous étudions le filtrage d'ordre supérieur dans le lambda-calcul pur modulo une restriction de la beta-conversion appelée super-développements.
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.
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.
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.
This criterion is defined for the logical frameworks of minimal deduction modulo and λΠ-calculus modulo.
Ce critère est défini pour les cadres logiques de la déduction minimale et du λΠ-calcul modulo.
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.
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.
We finally exhibit the strength of λΠ-calculus modulo by showing that all functional Pure Type Systems can be embedded in it.
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.
Cousineau and Dowek (2007) have proposed the λΠ-calculus modulo as a universal target framework for other front-end proof languages and environments.
Cousineau et Dowek (2007) proposent le λΠ-calcul modulo comme un cadre universel cible pour tous ces environnement de démonstration.
Encoding proofs from other systems in the λΠ-calculus modulo bakes yet more computation into the proof terms.
L'encodage de preuves provenant d'autres systèmes dans le λΠ-calcul modulo introduit d'autres calculs encore.
Synoniemen voor calculus modulo in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 24. Exact: 3. Verstreken tijd: 49 ms.
