Stratifizierte Typentheorie: Eine Alternative zur Universenhierarchie
Anstatt eine Hierarchie von Typenuniversen zu verwenden, um logische Inkonsistenz zu vermeiden, stratifiziert StraTT die Typurteile selbst. Dadurch können Abhängigkeiten zwischen Typen auf kontrollierte Weise eingeschränkt werden, ohne eine Universenhierarchie zu benötigen.