Re: [HS] X, Y... Z ??? enfin B ?????

Retourner au contenu associé (dépêche : Après X, voici Y...)

[^] # Re: [HS] X, Y... Z ??? enfin B ?????

Posté par Anaximandre le 29 septembre 2003 à 15:48. En réponse à la dépêche Après X, voici Y.... Évalué à 1.

C'était ce à quoi je faisais allusion en parlant de théorie des types, sur laquelle Coq, Lego, NuPRL, Plastic, etc, sont fondés.