On abstract normalisation beyond neededness (Q683744): Difference between revisions

@@ Property / cites work @@
+A nonstandard standardization theorem
@@ Property / cites work: A nonstandard standardization theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Beta reduction is invariant, indeed
@@ Property / cites work: Beta reduction is invariant, indeed / rank @@
+Normal rank
@@ Property / cites work @@
+A sequential reduction strategy
@@ Property / cites work: A sequential reduction strategy / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q5111900
@@ Property / cites work: Q5111900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3750994
@@ Property / cites work: Q3750994 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+On equal \(\mu \)-terms
@@ Property / cites work: On equal \(\mu \)-terms / rank @@
+Normal rank
@@ Property / cites work @@
+Pattern Calculus
@@ Property / cites work: Pattern Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+First-class patterns
@@ Property / cites work: First-class patterns / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential evaluation strategies for parallel-or and related reduction systems
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing in systems described by equations
@@ Property / cites work: Computing in systems described by equations / rank @@
+Normal rank
@@ Property / cites work @@
+Programming in equational logic: Beyond strong sequentiality
+Normal rank
@@ Property / cites work @@
+Q3024914
@@ Property / cites work: Q3024914 / rank @@
+Normal rank