En l'occurence, ça ne "ressemble" pas aux ensembles mathématiques. "Semantic subtyping" (l'article fondateur derrière CDuce) montre qu'il y a équivalence parfaite (chose qui était connue intuitivement depuis un moment, mais que personne n'avait jamais démontré avant).
[^] # Re: cduce ? et les sous type ?
Posté par lasher . En réponse au journal L'expressivité des langages. Évalué à 2.