Properties of a first-order functional language with sharing (Q673126): Difference between revisions

@@ Property / cites work @@
+Relating graph and term rewriting via Böhm models
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+LEAN: An intermediate language based on graph rewriting
+Normal rank
@@ Property / cites work @@
+Q3771589
@@ Property / cites work: Q3771589 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3685171
@@ Property / cites work: Q3685171 / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite reductions in orthogonal term rewriting systems
+Normal rank
@@ Property / cites work @@
+Implementing term rewrite languages in DACTL
@@ Property / cites work: Implementing term rewrite languages in DACTL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4182475
@@ Property / cites work: Q4182475 / rank @@
+Normal rank