bn:01220298n
Noun Concept
SYL
No term available
EN
In computer science and logic, a dependent type is a type whose definition depends on a value. Wikipedia
Relations
Sources