predicative

adj.

（形容词或名词）谓语性的；表语的；做出断言的；表示断定的

1. Predicative adjectives follow the noun.
   表语形容词放在名词后面。

Predicative Programming
Predicative Programming
Predicative programming. I, II.
Systems of Predicative Analysis
Corrigendum: "Predicative programming. I, II''.
Systems of predicative analysis, II: Representations of ordinals
An Intuitionistic Theory of Types: Predicative Part
An Intuitionistic Theory of Types: Predicative Part
An Intuitionistic Theory of Types: Predicative Part
An Intuitionistic Theory of Types: Predicative Part