Explore relationships

F-bounded quantification

In type theory, bounded quantification (also bounded polymorphism or constrained genericity) refers to universal or existential quantifiers which are restricted ("bounded") to range only over the subtypes of a particular type.

Use + to expand a branch. Click a topic name to open its summary.