Les types de données syntaxiques du système ${\cal F}$ (Q2773019): Difference between revisions

@@ Property / author @@
+Karim Nour
@@ Property / author: Karim Nour / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2009349137
@@ Property / OpenAlex ID: W2009349137 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0754
@@ Property / arXiv ID: 0905.0754 / rank @@
+Normal rank
@@ Property / cites work @@
+Un résultat de complétude pour les types ∀+ du système F
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997016
@@ Property / cites work: Q3997016 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical logic, storage operators and second-order lambda-calculus
+Normal rank
@@ Property / cites work @@
+Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)
+Normal rank
@@ Property / cites work @@
+Opérateurs de mise en mémoire et types $\forall $-positifs
+Normal rank
@@ Property / cites work @@
+Les<i>I</i>-types du système ${\cal F}$
@@ Property / cites work: Les<i>I</i>-types du système ${\cal F}$ / rank @@
+Normal rank