<i>Theoretical Pearl</i> Yet yet a counterexample for λ+SP (Q4764268): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence results for the pure strong categorical logic CCL. \(\lambda\)- calculi as subsystems of CCL
+Normal rank
@@ Property / cites work @@
+Explicit substitutions
@@ Property / cites work: Explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of Klop's counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators
+Normal rank
@@ Property / Wikidata QID @@
+Q125055437
@@ Property / Wikidata QID: Q125055437 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4764268