Predicative type theories include Martin-Löf Type Theory and NuPRL.
प्रेडी केटिव प्रकार सिद्धांतों में मार्टिन-Löf प्रकार सिद्धांत और NuPRL शामिल हैं।