Οι παρακάτω σελίδες συνδέουν εδώ:
Εμφανίζονται 7 αντικείμενα.
- Γλώσσα προγραμματισμού (← συνδέσεις | επεξεργασία)
- Συναρτησιακός προγραμματισμός (← συνδέσεις | επεξεργασία)
- Haskell (← συνδέσεις | επεξεργασία)
- Coq (← συνδέσεις | επεξεργασία)
- Τυπική επαλήθευση (← συνδέσεις | επεξεργασία)
- Θεωρία τύπων (← συνδέσεις | επεξεργασία)
- Εξαρτώμενος τύπος (← συνδέσεις | επεξεργασία)