About: 住性 (型理論)

型理論において 、型住性問題(type inhabitation problem)とは、型と型環境が与えられたとき、 を満足する項tが存在するか否かの判定問題である。そのような項tが存在するとき、項tは 型の住人であるといい、 型は有項であるという。