Examples with "types intersection" 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.
Notre approche débute par une étude du système de types intersection de Kobayashi et Ong, qui permet de typer un schéma de récursion d'ordre supérieur avec les états d'un automate donné encodant une formule de la logique monadique du second ordre.
This intersection type system enables one to type a higher-order recursion scheme with states of a given automaton, associated with a formula of monadic second-order logic.
Notre analyse nous a permis de définir un système de types intersection dérivé de celui de Kobayashi et Ong, capturant lui aussi le model-checking d'ordre supérieur de façon adéquate.
Our analysis leads us to the definition of an alternative intersection type system, which enjoys a similar soundness-and-completeness theorem with respect to higher-order model-checking.
Andere resultaten
On montre que les distributeurs de types intersections sont naturellement isomorphes au développement rigide.
We show that intersection type distributors are naturally isomorphic to the rigid expansion.
Notre construction est paramétrique sur les monades de ressources et produit quatre systèmes de types intersections.
Our construction is parametric on resource monads and produces four intersection type systems.
Connaître l'offre commerciale d'une géométrie de type intersection, addition ou différence de plusieurs géométries.
To know the commercial offer of a geometry of the intersection, addition or difference type of several geometries
Les types intersections et unions sont un moyen d'exprimer du polymorphisme ad hoc et sont une alternative au polymorphisme paramétrique de Girard.
Intersection and union types are a way to express ad hoc polymorphism and are an alternative to the parametric polymorphism of Girard.
Une activité de type Intersection est ensuite ajoutée pour cibler les destinataires qui ont été ajoutés dans la base au cours des six derniers mois et qui ont participé au dernier jeu.
An Intersection type activity is then added to target the recipients added to the database within the last six months and who entered the last competition.
Dans une troisième et dernière partie, on introduit les distributeurs de types intersections et, inspiré par le travail de Tsukada, Asada et Ong, le développement rigide des lambda-termes.
In a third and last part, we introduce intersection type distributors and, inspired by the work of Tsukada, Asada and Ong, the rigid expansion of lambda-terms.
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.
Une autre notion d'approximation dans le lambda-calcul est donné par les types intersections, introduits par Coppo et Dezani dans les années 80.
Another notion of approximation in lambda-calculus is given by intersection types, introduced by Coppo and Dezani in the 80s.
En dépit de cette adéquation, le système de types de Kobayashi et Ong a été pensé indépendamment de la connexion existant entre les types intersections et les modèles de la logique linéaire, relation observée par Bucciarelli, Ehrhard, de Carvalho et Terui.
In spite of this soundness-and-completeness result, the original type system by Kobayashi and Ong was not designed with the connection between intersection types and models of linear logic observed by Bucciarelli, Ehrhard, de Carvalho and Terui in mind.
Il est interdit de tourner à droite lorsque le feu est rouge dans ce type d'intersection.
It is not legal to turn right on a red light at these intersections.
Les premiers travaux d'Anatoly Libgober étudient le type de difféomorphisme des intersections complètes dans l'espace projectif complexe.
Libgober's early work studies the diffeomorphism type of complete intersections in complex projective space.
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.
