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

@@ Property / author @@
-Karim Nour
@@ Property / author: Karim Nour / rank @@
-Normal rank
@@ 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 @@
+W1845742793
@@ Property / OpenAlex ID: W1845742793 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0575
@@ Property / arXiv ID: 0905.0575 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:4389762