Σελίδες με συνδέσμους προς το Agda

Οι παρακάτω σελίδες συνδέουν εδώ:

Εμφανίζονται 7 αντικείμενα.

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