Explore relationships

Dependent types

In computer science and logic, a dependent type is a type whose definition depends on a value. It is an overlapping feature of type theory and type systems.

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