On the membership problem for non-linear abstract categorial grammars (Q972435): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2092570590
@@ Property / OpenAlex ID: W2092570590 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4315299
@@ Property / cites work: Q4315299 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniqueness of normal proofs in implicational intuitionistic logic
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+A coherence theorem for canonical morphisms in Cartesian closed categories
+Normal rank
@@ Property / cites work @@
+The IO- and OI-hierarchies
@@ Property / cites work: The IO- and OI-hierarchies / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699351
@@ Property / cites work: Q4699351 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428885
@@ Property / cites work: Q4428885 / rank @@
+Normal rank
@@ Property / cites work @@
+On multiple context-free grammars
@@ Property / cites work: On multiple context-free grammars / rank @@
+Normal rank
@@ Property / cites work @@
+The typed lambda-calculus is not elementary recursive
+Normal rank
@@ Property / cites work @@
+Tree adjunct grammars
@@ Property / cites work: Tree adjunct grammars / rank @@
+Normal rank