Kind (type theory)

De Wikipédia, l'encyclopédie libre