倚值 (Óa-ta̍t)型別 (hêng-pia̍t) (漢字 (Hàn-jī): 倚值形別，英語 (Eng-gí): dependent type)，中國 (Tiong-kok)號做 (hō-chò)依賴 (i-nāi)類型 (lūi-hêng) (漢字: 依賴類型) ，是 (sī)一 (tsi̍t)款 (khoán)程式 (têng-sek)語言 (gí-giân)的 (ê)型別 (type)，伊 (i)的型別內題 (lāi-tê)重 (tiông)所 (só͘)屬的 (sio̍k--ê)達 (ta̍t) (value)。
包含 (Pau-hâm)悲 (Pi)型別佮 (kap)Sigma型別。