An alternate proof of Statman's finite completeness theorem (Q436624): Difference between revisions

@@ Property / cites work @@
+Completeness in the theory of types
@@ Property / cites work: Completeness in the theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428885
@@ Property / cites work: Q4428885 / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizability in the Simply Typed Lambda-Calculus
+Normal rank
@@ Property / cites work @@
+On the membership problem for non-linear abstract categorial grammars
+Normal rank
@@ Property / cites work @@
+Completeness, invariance and <i>λ</i>-definability
+Normal rank
@@ Property / cites work @@
+The Clausal Theory of Types
@@ Property / cites work: The Clausal Theory of Types / rank @@
+Normal rank