bn:01220298n
Noun Concept
Categories: Προγραμματισμός, Θεωρία τύπων
EL
εξαρτώμενος τύπος  ανάλογα με τον τύπο
EL
Στην επιστήμη των υπολογιστών και την λογική, ένας εξαρτώμενος τύπος είναι ένας τύπος που εξαρτάται από μία τιμή. Wikipedia
Definitions
Relations
Sources
EL
Στην επιστήμη των υπολογιστών και την λογική, ένας εξαρτώμενος τύπος είναι ένας τύπος που εξαρτάται από μία τιμή. Wikipedia