The Church-Rosser property in symmetric combinatory logic (Q5718674): Difference between revisions

@@ Property / cites work @@
+Semantics for dual and symmetric combinatory calculi
+Normal rank
@@ Property / cites work @@
+Investigation into combinatory systems with dual combinators
+Normal rank
@@ Property / cites work @@
+A symmetric lambda calculus for classical program extraction
+Normal rank
@@ Property / cites work @@
+Q4309515
@@ Property / cites work: Q4309515 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Proof by cases in formal logic
@@ Property / cites work: Proof by cases in formal logic / rank @@
+Normal rank
@@ Property / cites work @@
+An Abstract form of the church-rosser theorem. I
@@ Property / cites work: An Abstract form of the church-rosser theorem. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinators and structurally free logic
@@ Property / cites work: Combinators and structurally free logic / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / rank @@
+Normal rank