Predicative type theories include Martin-Löf Type Theory and NuPRL.
Οι θεωρίες κατηγορηματικών τύπων περιλαμβάνουν την θεωρία τύπων Martin-Löf και την NuPRL.