Standard and Normal Reductions (Q4177543): Difference between revisions

@@ Property / cites work @@
+Q4085718
@@ Property / cites work: Q4085718 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Properties of Conversion
@@ Property / cites work: Some Properties of Conversion / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / 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 @@
+An abstract Church-Rosser theorem. II: Applications
+Normal rank
@@ Property / cites work @@
+The Equivalence of Complete Reductions
@@ Property / cites work: The Equivalence of Complete Reductions / rank @@
+Normal rank
@@ Property / cites work @@
+Reductions of Residuals are Finite
@@ Property / cites work: Reductions of Residuals are Finite / rank @@
+Normal rank
@@ Property / cites work @@
+Q5686017
@@ Property / cites work: Q5686017 / rank @@
+Normal rank
@@ Property / cites work @@
+The Standardization Theorem for λ‐Calculus
@@ Property / cites work: The Standardization Theorem for λ‐Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A mathematical logic without variables. I
@@ Property / cites work: A mathematical logic without variables. I / rank @@
+Normal rank