bn:01220298n
Noun Concept
IT
tipi dipendenti
EN
In computer science and logic, a dependent type is a type whose definition depends on a value. Wikipedia
Relations
Sources
Wikipedia Translations