A combinatory account of internal structure (Q3173527): Difference between revisions

@@ Property / DOI @@
-.2178/jsl/1309952521
@@ Property / DOI: 10.2178/jsl/1309952521 / rank @@
-Normal rank
@@ Property / author @@
-C. Barry Jay
@@ Property / author: C. Barry Jay / rank @@
-Normal rank
@@ Property / author @@
+C. Barry Jay
@@ Property / author: C. Barry Jay / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2046825040
@@ Property / OpenAlex ID: W2046825040 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive functions of symbolic expressions and their computation by machine, Part I
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+An Unsolvable Problem of Elementary Number Theory
@@ Property / cites work: An Unsolvable Problem of Elementary Number Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Properties of Programs by Structural Induction
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+First-class patterns
@@ Property / cites work: First-class patterns / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / DOI @@
+.2178/JSL/1309952521
@@ Property / DOI: 10.2178/JSL/1309952521 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3173527