部分構造論理をベースとしている

型環境に構造規則についての制限を導入することにで、型環境に含まれる変数の利用について制約を持たせることができるような型システム

諸々の部分構造型と、構造規則の関係 ref

通常の型システムが一番下で任意の回数の使用ができ、

他のものは o が付いていないので、「制限を強めている」感じがひと目で分かる

言語例 ref

「構造部分型を持つ言語」としてこれらを列挙するのは雑すぎると思うので、本当はここに列挙したくはない

個別の型のページに割り振りたい