Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
singleton kinds
Examples with "singleton kinds" and their translation in Frans
The second chapter is devoted to the study of singleton kinds, which model type definitions: in this framework, we give a simple characterization of type equivalence, that is based on a confluent and strongly normalizing reduction relation.
Le deuxième chapitre est consacré à l'étude des kinds singletons, qui modélisent les définitions de types : dans ce cadre, on donne une caractérisation simple de l'équivalence de types, fondée sur une relation de réduction confluente et fortement normalisante.
The second chapter is devoted to the study of singleton kinds, which model type definitions: in this framework, we give a simple characterization of type equivalence, that is based on a confluent and strongly normalizing reduction relation.
Le deuxième chapitre est consacré à l'étude des kinds singletons, qui modélisent les définitions de types : dans ce cadre, on donne une caractérisation simple de l'équivalence de types, fondée sur une relation de réduction confluente et fortement normalisante.
Andere resultaten
When fertilizing an egg, information about the future baby, and about what kind of pregnancy it will be - singleton or multiple, so it is impossible to influence this process naturally.
Synoniemen voor singleton kinds in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 3. Exact: 2. Verstreken tijd: 122 ms.
