Interaction systems II: The practice of optimal reductions (Q1350498): Difference between revisions

@@ Property / cites work @@
+Interaction Systems I: The theory of optimal reductions
+Normal rank
@@ Property / cites work @@
+Optimal reductions in interaction systems
@@ Property / cites work: Optimal reductions in interaction systems / rank @@
+Normal rank
@@ Property / cites work @@
+Paths, computations and labels in the λ-calculus
@@ Property / cites work: Paths, computations and labels in the λ-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5827040
@@ Property / cites work: Q5827040 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282571
@@ Property / cites work: Q4282571 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4128539
@@ Property / cites work: Q4128539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4029341
@@ Property / cites work: Q4029341 / rank @@
+Normal rank