|entries|type-theory-intuitionistic|