Standard and Normal Reductions (Q4177543): Difference between revisions

@@ label / en / label / en @@
+Standard and Normal Reductions
@@ Property / author @@
-Roger Hindley
@@ Property / author: Roger Hindley / rank @@
-Normal rank
@@ Property / author @@
+Roger Hindley
@@ Property / author: Roger Hindley / rank @@
+Normal rank
@@ 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.2307/1998843
@@ Property / full work available at URL: https://doi.org/10.2307/1998843 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4255311557
@@ Property / OpenAlex ID: W4255311557 / rank @@
+Normal rank
@@ Property / title @@
+Standard and Normal Reductions (English)
@@ Property / title: Standard and Normal Reductions (English) / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:4177543