A Datalog Recognizer for Almost Affine λ-CFGs (Q3172825): Difference between revisions

@@ Property / describes a project that uses @@
+Datalog
@@ Property / describes a project that uses: Datalog / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-23211-4_2
+Normal rank
@@ Property / OpenAlex ID @@
+W1165981
@@ Property / OpenAlex ID: W1165981 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniqueness of normal proofs in implicational intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus
+Normal rank
@@ Property / cites work @@
+An extension of basic functionality theory for \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+On the membership problem for non-linear abstract categorial grammars
+Normal rank