dは他の純粋型システム（PTS）と異なる点がいくつかあります。まず、dでは単一の抽象化メカニズムを使用して命題や式をすべてのレベルで表現します。これは、全称抽象化と呼ばれ、[x : A]Bと表記されます。この結果、タイピングはもはや集合包含関係に対応せず、関数と型間で関係性を持つようになります。
次に、dでは唯一性制約を守るために規則product'を拒否することでPTSから逸脱しています。この適応症状がパラドックス回避の鍵です。
最後に、dが別のPTSから異なる点は普遍的抽象化規則を強化し、「任意」可能な普遍的抽象化も許可することです。
これらの変更および追加されたプロパティーによってdは他のPTSから明確に区別されます。