Résultats de complétude pour des classes de types du système $\mathcal {AF}2$ (Q4389762): Difference between revisions

@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+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 @@
+A semantical storage operator theorem for all types
+Normal rank