English: Predicative type theories include Martin-Löf Type Theory and NuPRL.
Telugu: ప్రేడికేటివ్ టైపు సిద్ధాంతాలు మార్టిన్ -Löf టైపు సిద్ధాంతము మరియు NuPRL లను కలిగివున్నాయి .