Recursive Functions with Pattern Matching in Interaction Nets (Q5170281): Difference between revisions

@@ Property / cites work @@
+Token-passing Nets for Functional Languages
@@ Property / cites work: Token-passing Nets for Functional Languages / rank @@
+Normal rank
@@ Property / cites work @@
+The bologna optimal higher-order machine
@@ Property / cites work: The bologna optimal higher-order machine / rank @@
+Normal rank
@@ Property / cites work @@
+A typed pattern calculus
@@ Property / cites work: A typed pattern calculus / rank @@
+Normal rank
@@ Property / cites work @@
+From Functional Programs to Interaction Nets via the Rewriting Calculus
+Normal rank
@@ Property / cites work @@
+Q2851046
@@ Property / cites work: Q2851046 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457840
@@ Property / cites work: Q4457840 / rank @@
+Normal rank
@@ Property / cites work @@
+Interaction nets and term-rewriting systems
@@ Property / cites work: Interaction nets and term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494368
@@ Property / cites work: Q4494368 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852060
@@ Property / cites work: Q2852060 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory reduction systems: Introduction and survey
+Normal rank
@@ Property / cites work @@
+Q4808763
@@ Property / cites work: Q4808763 / rank @@
+Normal rank
@@ Property / cites work @@
+YALE
@@ Property / cites work: YALE / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508308
@@ Property / cites work: Q4508308 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2778889
@@ Property / cites work: Q2778889 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023829
@@ Property / cites work: Q4023829 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank