type

concept in type theory

Катэгорыі: