本文的結果可以通過擴展多項式函數的結構來推廣到更一般的依賴型別系統，例如包含同一型或歸納型的系統。首先，對於同一型，研究者可以考慮在多項式函數的框架中引入同一型的結構，這樣可以使得多項式函數不僅能夠描述依賴型別的結構，還能夠捕捉到類型之間的同一性關係。
其次，對於歸納型，則可以通過定義相應的多項式函數來描述歸納數據結構的性質。這可以通過引入遞歸的多項式函數來實現，這些函數能夠在其定義中包含對自身的引用，從而支持歸納型的建模。這樣的擴展不僅能夠保持多項式函數的結構性，還能夠使其適用於更廣泛的依賴型別系統。
最後，這些推廣可以通過在同一型和歸納型的上下文中重新定義自然模型的概念來實現，從而使得這些模型能夠在更一般的依賴型別系統中發揮作用。