English Dependent type Cited by user David Eppstein on 26 Apr 2024 In computer science and logic, a dependent type is a type whose definition depends on a value.