Metadata
Author: WikiMatrix
Data
Greek[el]
Με τον ισομορφισμό Curry–Howard το Σύστημα F αντιστοιχίζεται στην διαισθητική λογική δευτέρας τάξης με μόνη την καθολική ποσόδειξη.
French[fr]
À travers la correspondance de Curry-Howard, le système F est en effet isomorphe à la logique minimale du second ordre.