Links for intuitionistic-type-theory