Korrutistüüp
Programmeerimiskeeltes ja tüübiteoorias on tüüpide korrutamise tulemuseks uus struktuurne tüüp. Sellise korrutustehte muutujad on tüübid ning korrutistüübi struktuuri määrab ära muutujate järjekord tehtes. Instants korrutustüübist säilitab tüüpide järjekorra, aga võib muidu sisaldada kõiki võimalikke väärtusi tüüpidest, millest ta koosneb. Korrutistüübi instantsi avaldis on ennik ning sellise avaldise tüüp on "enniku tüüpi" (ingl. tuple type). Tüüpide korrutis on kahe või enama tüübi otsekorrutis. Ühiktüüp on mitte ühegi tüübiga hulga korrutis. Programmeerimiskeeltes on levinud kahte sorti korrutistüüpe: Ennik (ingl. tuple) – nimetute komponentidega. Kirje (ingl. record või struct) – nimega komponentidega. Ühe konstruktoriga algebraline andmetüüp on isomorfne korrutistüübiga. Curry-Howardi vastavuse järgi vastavad korrutustüübid loogikas konjunktsiooniga. Korrutistüüpidel on vastavussuhe summatüüpidega.