Embedding \(\mathsf{HTLCG}\) into \(\mathsf{LCG}_\phi \) (Q6097777): Difference between revisions

@@ Property / cites work @@
+Generalized quantifiers and natural language
@@ Property / cites work: Generalized quantifiers and natural language / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Gapping as Like-Category Coordination
@@ Property / cites work: Gapping as Like-Category Coordination / rank @@
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+A Dynamic Categorial Grammar
@@ Property / cites work: A Dynamic Categorial Grammar / rank @@
+Normal rank
@@ Property / cites work @@
+Q3688389
@@ Property / cites work: Q3688389 / rank @@
+Normal rank
@@ Property / cites work @@
+Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
+Normal rank
@@ Property / cites work @@
+Proof Nets for Basic Discontinuous Lambek Calculus
+Normal rank
@@ Property / cites work @@
+Agnostic hyperintensional semantics
@@ Property / cites work: Agnostic hyperintensional semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Stripping isn't so mysterious, or anomalous scope, either
+Normal rank