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

@@ 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.2178/jsl/1120224727
+Normal rank
@@ Property / OpenAlex ID @@
+W2153418127
@@ Property / OpenAlex ID: W2153418127 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5718674