Effective longest and infinite reduction paths in untyped λ-calculi (Q5878916): Difference between revisions

@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Church-Rosser strategies in the lambda calculus
@@ Property / cites work: Church-Rosser strategies in the lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3674616
@@ Property / cites work: Q3674616 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+A direct proof of the finite developments theorem
@@ Property / cites work: A direct proof of the finite developments theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds for cut elimination in intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Q4501151
@@ Property / cites work: Q4501151 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942642
@@ Property / cites work: Q4942642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+An equivalence between lambda- terms
@@ Property / cites work: An equivalence between lambda- terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+An upper bound for reduction sequences in the typed \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank